| Parent Directory/ | | - | Directory |
| libcoq-paramcoq_1.1.3+coq8.16-3build2_arm64.deb | 2023-Feb-17 02:50:32 | 144.4K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.16-3build2_armhf.deb | 2023-Feb-17 02:50:45 | 123.8K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.16-3build2_ppc64el.deb | 2023-Feb-17 02:50:50 | 132.1K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.16-3build2_riscv64.deb | 2023-Feb-17 03:44:50 | 128.0K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.16-3build2_s390x.deb | 2023-Feb-17 02:50:59 | 132.2K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.17-2_arm64.deb | 2023-Jul-26 02:49:49 | 144.8K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.17-2_armhf.deb | 2023-Jul-26 02:49:52 | 124.7K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.17-2_ppc64el.deb | 2023-Jul-26 02:49:56 | 132.5K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.17-2_riscv64.deb | 2023-Jul-26 02:49:59 | 128.2K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.17-2_s390x.deb | 2023-Jul-26 02:50:02 | 132.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb | 2024-Apr-01 18:35:21 | 145.1K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb | 2024-Apr-01 18:36:33 | 124.8K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_ppc64el.deb | 2024-Apr-02 04:04:17 | 132.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_riscv64.deb | 2024-Apr-01 18:38:13 | 133.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_s390x.deb | 2024-Apr-02 00:35:52 | 133.1K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.19-1_arm64.deb | 2024-May-03 21:21:16 | 138.9K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.19-1_ppc64el.deb | 2024-May-03 13:55:00 | 126.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.19-1_s390x.deb | 2024-May-03 15:11:46 | 126.1K | application/vnd.debian.binary-package |
| paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz | 2023-Feb-17 02:50:16 | 2.9K | application/x-xz |
| paramcoq_1.1.3+coq8.16-3build2.dsc | 2023-Feb-17 02:50:16 | 2.0K | application/octet-stream |
| paramcoq_1.1.3+coq8.16.orig.tar.gz | 2022-Nov-06 11:01:45 | 44.6K | application/gzip |
| paramcoq_1.1.3+coq8.17-2.debian.tar.xz | 2023-Jul-26 01:54:11 | 2.9K | application/x-xz |
| paramcoq_1.1.3+coq8.17-2.dsc | 2023-Jul-26 01:54:11 | 2.0K | application/octet-stream |
| paramcoq_1.1.3+coq8.17.orig.tar.gz | 2023-Jun-13 13:30:00 | 44.6K | application/gzip |
| paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz | 2024-Apr-01 13:43:08 | 3.1K | application/x-xz |
| paramcoq_1.1.3+coq8.18-1build2.dsc | 2024-Apr-01 13:43:08 | 2.1K | application/octet-stream |
| paramcoq_1.1.3+coq8.18.orig.tar.gz | 2023-Dec-23 01:26:53 | 44.7K | application/gzip |
| paramcoq_1.1.3+coq8.19-1.debian.tar.xz | 2024-May-03 09:49:49 | 3.0K | application/x-xz |
| paramcoq_1.1.3+coq8.19-1.dsc | 2024-May-03 09:49:49 | 2.0K | application/octet-stream |
| paramcoq_1.1.3+coq8.19.orig.tar.gz | 2024-May-03 09:49:49 | 44.8K | application/gzip |