Index of /pub/linux/mirrors/debian/pool/main/c/coq-gappa

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] coq-gappa_1.5.2-5.debian.tar.xz        2023-01-26 12:44  2.0K  
[TXT] coq-gappa_1.5.2-5.dsc                  2023-01-26 12:44  2.0K  
[   ] coq-gappa_1.5.2.orig.tar.bz2           2022-07-19 07:00   72K  
[   ] coq-gappa_1.7.0-1.debian.tar.xz        2025-02-20 15:41  2.2K  
[TXT] coq-gappa_1.7.0-1.dsc                  2025-02-20 15:41  2.0K  
[   ] coq-gappa_1.7.0.orig.tar.bz2           2025-02-20 15:41   75K  
[   ] coq-gappa_1.10.0-2.debian.tar.xz       2026-07-28 16:24  3.5K  
[TXT] coq-gappa_1.10.0-2.dsc                 2026-07-28 16:24  2.1K  
[   ] coq-gappa_1.10.0-3.debian.tar.xz       2026-08-03 14:17  3.5K  
[TXT] coq-gappa_1.10.0-3.dsc                 2026-08-03 14:17  2.1K  
[   ] coq-gappa_1.10.0-4.debian.tar.xz       2026-08-03 17:11  3.5K  
[TXT] coq-gappa_1.10.0-4.dsc                 2026-08-03 17:11  2.1K  
[CMP] coq-gappa_1.10.0.orig.tar.gz           2026-07-10 16:09   89K  
[   ] coq-gappa_1.11.0-1.debian.tar.xz       2026-08-03 23:54  3.6K  
[TXT] coq-gappa_1.11.0-1.dsc                 2026-08-03 23:54  2.1K  
[CMP] coq-gappa_1.11.0.orig.tar.gz           2026-08-03 23:54   91K  
[   ] libcoq-gappa_1.5.2-5+b1_amd64.deb      2023-02-13 07:28  504K  
[   ] libcoq-gappa_1.5.2-5+b1_arm64.deb      2023-02-13 07:28  506K  
[   ] libcoq-gappa_1.5.2-5+b1_armhf.deb      2023-02-13 07:28  502K  
[   ] libcoq-gappa_1.5.2-5+b1_i386.deb       2023-02-13 07:08  500K  
[   ] libcoq-gappa_1.5.2-5+b1_ppc64el.deb    2023-02-14 10:44  503K  
[   ] libcoq-gappa_1.5.2-5+b1_s390x.deb      2023-02-13 07:08  504K  
[   ] libcoq-gappa_1.7.0-1+b1_amd64.deb      2025-06-15 11:15  538K  
[   ] libcoq-gappa_1.7.0-1+b1_arm64.deb      2025-06-15 11:15  541K  
[   ] libcoq-gappa_1.7.0-1+b1_ppc64el.deb    2025-06-15 11:15  537K  
[   ] libcoq-gappa_1.7.0-1+b1_riscv64.deb    2025-06-15 12:00  539K  
[   ] libcoq-gappa_1.7.0-1+b2_s390x.deb      2025-06-17 19:59  538K  
[   ] libcoq-gappa_1.7.0-1+b3_ppc64el.deb    2026-06-20 15:16  537K  
[   ] libcoq-gappa_1.7.0-1+b3_riscv64.deb    2026-06-22 13:16  539K  
[   ] libcoq-gappa_1.7.0-1+b4_amd64.deb      2026-06-20 15:16  538K  
[   ] libcoq-gappa_1.7.0-1+b4_arm64.deb      2026-06-20 15:16  540K  
[   ] libcoq-gappa_1.7.0-1+b4_s390x.deb      2026-06-20 15:15  539K  
[   ] libcoq-gappa_1.10.0-2+b1_amd64.deb     2026-07-31 20:30  594K  
[   ] libcoq-gappa_1.10.0-2_arm64.deb        2026-07-28 16:44  596K  
[   ] libcoq-gappa_1.10.0-2_ppc64el.deb      2026-07-28 16:44  593K  
[   ] libcoq-gappa_1.10.0-2_riscv64.deb      2026-07-28 17:05  595K  
[   ] libcoq-gappa_1.10.0-2_s390x.deb        2026-07-28 17:00  594K  
[   ] libcoq-gappa_1.10.0-3+b1_amd64.deb     2026-08-03 15:34  594K  
[   ] libcoq-gappa_1.10.0-3_amd64.deb        2026-08-03 14:17  594K  
[   ] libcoq-gappa_1.10.0-3_arm64.deb        2026-08-03 14:43  596K  
[   ] libcoq-gappa_1.10.0-3_ppc64el.deb      2026-08-03 14:48  593K  
[   ] libcoq-gappa_1.10.0-3_riscv64.deb      2026-08-03 17:42  595K  
[   ] libcoq-gappa_1.10.0-3_s390x.deb        2026-08-03 14:48  594K  
[   ] libcoq-gappa_1.10.0-4+b1_amd64.deb     2026-08-03 19:29  594K  
[   ] libcoq-gappa_1.10.0-4_amd64.deb        2026-08-03 17:11  594K  
[   ] libcoq-gappa_1.10.0-4_arm64.deb        2026-08-03 17:42  597K  
[   ] libcoq-gappa_1.10.0-4_ppc64el.deb      2026-08-03 17:42  593K  
[   ] libcoq-gappa_1.10.0-4_riscv64.deb      2026-08-03 19:09  595K  
[   ] libcoq-gappa_1.10.0-4_s390x.deb        2026-08-03 17:47  594K  
[   ] libcoq-gappa_1.11.0-1_amd64.deb        2026-08-04 00:25  609K  
[   ] libcoq-gappa_1.11.0-1_arm64.deb        2026-08-04 00:25  612K  
[   ] libcoq-gappa_1.11.0-1_ppc64el.deb      2026-08-04 01:22  608K  
[   ] libcoq-gappa_1.11.0-1_riscv64.deb      2026-08-04 00:40  611K  
[   ] libcoq-gappa_1.11.0-1_s390x.deb        2026-08-04 03:20  610K