| ../ | | - | Directory |
| coq-gappa_1.10.0-2.debian.tar.xz | 2026-Jul-28 17:24:38 | 3.4K | application/x-xz |
| coq-gappa_1.10.0-2.dsc | 2026-Jul-28 17:24:38 | 2.0K | application/octet-stream |
| coq-gappa_1.10.0-3.debian.tar.xz | 2026-Aug-03 15:17:38 | 3.5K | application/x-xz |
| coq-gappa_1.10.0-3.dsc | 2026-Aug-03 15:17:38 | 2.0K | application/octet-stream |
| coq-gappa_1.10.0-4.debian.tar.xz | 2026-Aug-03 18:11:30 | 3.5K | application/x-xz |
| coq-gappa_1.10.0-4.dsc | 2026-Aug-03 18:11:30 | 2.0K | application/octet-stream |
| coq-gappa_1.10.0.orig.tar.gz | 2026-Jul-10 17:09:00 | 89.4K | application/x-gtar-compressed |
| coq-gappa_1.11.0-1.debian.tar.xz | 2026-Aug-04 00:54:51 | 3.5K | application/x-xz |
| coq-gappa_1.11.0-1.dsc | 2026-Aug-04 00:54:51 | 2.0K | application/octet-stream |
| coq-gappa_1.11.0.orig.tar.gz | 2026-Aug-04 00:54:51 | 90.6K | application/x-gtar-compressed |
| coq-gappa_1.5.2-5.debian.tar.xz | 2023-Jan-26 12:44:51 | 1.9K | application/x-xz |
| coq-gappa_1.5.2-5.dsc | 2023-Jan-26 12:44:51 | 2.0K | application/octet-stream |
| coq-gappa_1.5.2.orig.tar.bz2 | 2022-Jul-19 08:00:31 | 71.8K | application/x-gtar-compressed |
| coq-gappa_1.7.0-1.debian.tar.xz | 2025-Feb-20 15:41:22 | 2.1K | application/x-xz |
| coq-gappa_1.7.0-1.dsc | 2025-Feb-20 15:41:22 | 2.0K | application/octet-stream |
| coq-gappa_1.7.0.orig.tar.bz2 | 2025-Feb-20 15:41:22 | 74.6K | application/x-gtar-compressed |
| libcoq-gappa_1.10.0-2+b1_amd64.deb | 2026-Jul-31 21:30:08 | 594.0K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-2_arm64.deb | 2026-Jul-28 17:44:47 | 596.4K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-2_ppc64el.deb | 2026-Jul-28 17:44:48 | 592.7K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-2_riscv64.deb | 2026-Jul-28 18:05:20 | 594.9K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-2_s390x.deb | 2026-Jul-28 18:00:08 | 594.5K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-3+b1_amd64.deb | 2026-Aug-03 16:34:30 | 593.9K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-3_amd64.deb | 2026-Aug-03 15:17:38 | 593.9K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-3_arm64.deb | 2026-Aug-03 15:43:15 | 596.4K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-3_ppc64el.deb | 2026-Aug-03 15:48:40 | 592.6K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-3_riscv64.deb | 2026-Aug-03 18:42:21 | 595.1K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-3_s390x.deb | 2026-Aug-03 15:48:26 | 594.4K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-4+b1_amd64.deb | 2026-Aug-03 20:29:53 | 594.0K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-4_amd64.deb | 2026-Aug-03 18:11:30 | 593.8K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-4_arm64.deb | 2026-Aug-03 18:42:23 | 596.6K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-4_ppc64el.deb | 2026-Aug-03 18:42:29 | 592.6K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-4_riscv64.deb | 2026-Aug-03 20:09:08 | 594.9K | application/vnd.debian.binary-package |
| libcoq-gappa_1.10.0-4_s390x.deb | 2026-Aug-03 18:47:34 | 594.3K | application/vnd.debian.binary-package |
| libcoq-gappa_1.11.0-1_amd64.deb | 2026-Aug-04 01:25:00 | 609.1K | application/vnd.debian.binary-package |
| libcoq-gappa_1.11.0-1_arm64.deb | 2026-Aug-04 01:25:01 | 612.2K | application/vnd.debian.binary-package |
| libcoq-gappa_1.11.0-1_ppc64el.deb | 2026-Aug-04 02:22:12 | 608.2K | application/vnd.debian.binary-package |
| libcoq-gappa_1.11.0-1_riscv64.deb | 2026-Aug-04 01:40:10 | 610.8K | application/vnd.debian.binary-package |
| libcoq-gappa_1.11.0-1_s390x.deb | 2026-Aug-04 04:20:27 | 609.9K | application/vnd.debian.binary-package |
| libcoq-gappa_1.5.2-5+b1_amd64.deb | 2023-Feb-13 07:28:52 | 503.7K | application/vnd.debian.binary-package |
| libcoq-gappa_1.5.2-5+b1_arm64.deb | 2023-Feb-13 07:28:54 | 506.3K | application/vnd.debian.binary-package |
| libcoq-gappa_1.5.2-5+b1_armhf.deb | 2023-Feb-13 07:28:45 | 502.1K | application/vnd.debian.binary-package |
| libcoq-gappa_1.5.2-5+b1_i386.deb | 2023-Feb-13 07:08:28 | 500.3K | application/vnd.debian.binary-package |
| libcoq-gappa_1.5.2-5+b1_ppc64el.deb | 2023-Feb-14 10:44:52 | 503.0K | application/vnd.debian.binary-package |
| libcoq-gappa_1.5.2-5+b1_s390x.deb | 2023-Feb-13 07:08:30 | 504.1K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b1_amd64.deb | 2025-Jun-15 12:15:12 | 537.8K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b1_arm64.deb | 2025-Jun-15 12:15:12 | 540.9K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b1_ppc64el.deb | 2025-Jun-15 12:15:11 | 537.0K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b1_riscv64.deb | 2025-Jun-15 13:00:39 | 538.5K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b2_s390x.deb | 2025-Jun-17 20:59:38 | 538.3K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b3_ppc64el.deb | 2026-Jun-20 16:16:06 | 536.8K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b3_riscv64.deb | 2026-Jun-22 14:16:58 | 539.2K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b4_amd64.deb | 2026-Jun-20 16:16:01 | 538.0K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b4_arm64.deb | 2026-Jun-20 16:16:04 | 540.4K | application/vnd.debian.binary-package |
| libcoq-gappa_1.7.0-1+b4_s390x.deb | 2026-Jun-20 16:15:57 | 538.9K | application/vnd.debian.binary-package |