| ../ | | - | Directory |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb | 2024-Apr-01 19:35:21 | 145.1K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb | 2024-Apr-01 19:36:33 | 124.8K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_ppc64el.deb | 2024-Apr-02 05:04:17 | 132.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_riscv64.deb | 2024-Apr-01 19:38:13 | 133.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_s390x.deb | 2024-Apr-02 01:35:52 | 133.1K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build3_arm64.deb | 2025-Feb-19 06:25:46 | 137.4K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build3_ppc64el.deb | 2025-Feb-19 06:26:18 | 126.6K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build3_riscv64.deb | 2025-Feb-19 09:23:52 | 126.8K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build3_s390x.deb | 2025-Feb-19 09:24:08 | 128.5K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deb | 2025-Jun-20 22:24:42 | 137.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build4_ppc64el.deb | 2025-Jun-20 22:24:45 | 126.4K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build4_riscv64.deb | 2025-Jun-21 00:15:22 | 126.3K | application/vnd.debian.binary-package |
| libcoq-paramcoq_1.1.3+coq8.20-1build4_s390x.deb | 2025-Jun-20 22:24:47 | 128.3K | application/vnd.debian.binary-package |
| paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz | 2024-Apr-01 14:43:08 | 3.1K | application/x-xz |
| paramcoq_1.1.3+coq8.18-1build2.dsc | 2024-Apr-01 14:43:08 | 2.1K | application/octet-stream |
| paramcoq_1.1.3+coq8.18.orig.tar.gz | 2023-Dec-23 02:26:53 | 44.7K | application/x-gtar-compressed |
| paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz | 2025-Feb-19 06:25:06 | 3.3K | application/x-xz |
| paramcoq_1.1.3+coq8.20-1build3.dsc | 2025-Feb-19 06:25:06 | 2.0K | application/octet-stream |
| paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz | 2025-Jun-20 22:22:26 | 3.3K | application/x-xz |
| paramcoq_1.1.3+coq8.20-1build4.dsc | 2025-Jun-20 22:22:26 | 2.0K | application/octet-stream |
| paramcoq_1.1.3+coq8.20.orig.tar.gz | 2024-Nov-21 03:47:20 | 44.7K | application/x-gtar-compressed |