Index of /debian/pool/main/c/coq-gappa

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-gappa_1.5.2-2.debian.tar.xz2022-07-19 03:00 1.6K 
[TXT]coq-gappa_1.5.2-2.dsc2022-07-19 03:00 2.0K 
[ ]coq-gappa_1.5.2-4.debian.tar.xz2022-09-06 05:09 1.9K 
[TXT]coq-gappa_1.5.2-4.dsc2022-09-06 05:09 2.0K 
[ ]coq-gappa_1.5.2-5.debian.tar.xz2023-01-26 07:44 2.0K 
[TXT]coq-gappa_1.5.2-5.dsc2023-01-26 07:44 2.0K 
[ ]coq-gappa_1.5.2.orig.tar.bz22022-07-19 03:00 72K 
[ ]coq-gappa_1.5.3-1.debian.tar.xz2023-06-13 01:20 2.0K 
[TXT]coq-gappa_1.5.3-1.dsc2023-06-13 01:20 2.0K 
[ ]coq-gappa_1.5.3.orig.tar.bz22023-06-13 01:20 72K 
[ ]coq-gappa_1.5.4-1.debian.tar.xz2023-12-22 06:07 2.1K 
[TXT]coq-gappa_1.5.4-1.dsc2023-12-22 06:07 2.0K 
[ ]coq-gappa_1.5.4.orig.tar.bz22023-12-22 06:07 72K 
[ ]coq-gappa_1.5.5-1.debian.tar.xz2024-04-26 10:01 2.2K 
[TXT]coq-gappa_1.5.5-1.dsc2024-04-26 10:01 2.0K 
[ ]coq-gappa_1.5.5-2.debian.tar.xz2024-08-04 01:19 2.3K 
[TXT]coq-gappa_1.5.5-2.dsc2024-08-04 01:19 1.8K 
[ ]coq-gappa_1.5.5.orig.tar.bz22024-04-26 10:01 72K 
[ ]coq-gappa_1.6.0-1.debian.tar.xz2025-01-23 16:57 2.3K 
[TXT]coq-gappa_1.6.0-1.dsc2025-01-23 16:57 2.0K 
[ ]coq-gappa_1.6.0.orig.tar.bz22025-01-23 16:57 74K 
[ ]coq-gappa_1.7.0-1.debian.tar.xz2025-02-20 10:41 2.2K 
[TXT]coq-gappa_1.7.0-1.dsc2025-02-20 10:41 2.0K 
[ ]coq-gappa_1.7.0.orig.tar.bz22025-02-20 10:41 75K 
[ ]libcoq-gappa_1.5.2-2+b1_amd64.deb2022-07-26 20:59 505K 
[ ]libcoq-gappa_1.5.2-2_amd64.deb2022-07-19 03:00 505K 
[ ]libcoq-gappa_1.5.2-2_arm64.deb2022-07-20 15:14 508K 
[ ]libcoq-gappa_1.5.2-2_armhf.deb2022-07-20 15:55 503K 
[ ]libcoq-gappa_1.5.2-2_i386.deb2022-07-21 01:58 501K 
[ ]libcoq-gappa_1.5.2-2_ppc64el.deb2022-07-20 23:26 505K 
[ ]libcoq-gappa_1.5.2-2_s390x.deb2022-07-22 15:59 506K 
[ ]libcoq-gappa_1.5.2-4+b1_amd64.deb2022-11-29 19:45 503K 
[ ]libcoq-gappa_1.5.2-4+b1_arm64.deb2022-11-29 20:25 506K 
[ ]libcoq-gappa_1.5.2-4+b1_armhf.deb2022-11-29 19:45 502K 
[ ]libcoq-gappa_1.5.2-4+b1_i386.deb2022-11-29 20:35 501K 
[ ]libcoq-gappa_1.5.2-4+b1_ppc64el.deb2022-11-29 21:56 504K 
[ ]libcoq-gappa_1.5.2-4+b1_s390x.deb2022-11-29 23:17 504K 
[ ]libcoq-gappa_1.5.2-4+b2_amd64.deb2023-01-23 20:56 504K 
[ ]libcoq-gappa_1.5.2-4+b2_arm64.deb2023-01-23 22:42 507K 
[ ]libcoq-gappa_1.5.2-4+b2_armhf.deb2023-01-23 22:27 502K 
[ ]libcoq-gappa_1.5.2-4+b2_i386.deb2023-01-23 21:11 500K 
[ ]libcoq-gappa_1.5.2-4+b2_ppc64el.deb2023-01-24 12:00 503K 
[ ]libcoq-gappa_1.5.2-4+b2_s390x.deb2023-01-23 20:56 504K 
[ ]libcoq-gappa_1.5.2-4_amd64.deb2022-09-07 03:41 503K 
[ ]libcoq-gappa_1.5.2-4_arm64.deb2022-09-07 03:41 506K 
[ ]libcoq-gappa_1.5.2-4_armhf.deb2022-09-07 03:41 502K 
[ ]libcoq-gappa_1.5.2-4_i386.deb2022-09-07 03:41 500K 
[ ]libcoq-gappa_1.5.2-4_ppc64el.deb2022-09-07 04:11 503K 
[ ]libcoq-gappa_1.5.2-4_s390x.deb2022-09-07 05:06 504K 
[ ]libcoq-gappa_1.5.2-5+b1_amd64.deb2023-02-13 02:28 504K 
[ ]libcoq-gappa_1.5.2-5+b1_arm64.deb2023-02-13 02:28 506K 
[ ]libcoq-gappa_1.5.2-5+b1_armhf.deb2023-02-13 02:28 502K 
[ ]libcoq-gappa_1.5.2-5+b1_i386.deb2023-02-13 02:08 500K 
[ ]libcoq-gappa_1.5.2-5+b1_ppc64el.deb2023-02-14 05:44 503K 
[ ]libcoq-gappa_1.5.2-5+b1_s390x.deb2023-02-13 02:08 504K 
[ ]libcoq-gappa_1.5.2-5_amd64.deb2023-01-26 09:56 503K 
[ ]libcoq-gappa_1.5.2-5_arm64.deb2023-01-26 10:11 506K 
[ ]libcoq-gappa_1.5.2-5_armhf.deb2023-01-26 08:40 502K 
[ ]libcoq-gappa_1.5.2-5_i386.deb2023-01-26 09:00 500K 
[ ]libcoq-gappa_1.5.2-5_ppc64el.deb2023-01-26 23:12 503K 
[ ]libcoq-gappa_1.5.2-5_s390x.deb2023-01-26 12:12 504K 
[ ]libcoq-gappa_1.5.3-1+b1_amd64.deb2023-07-23 02:14 503K 
[ ]libcoq-gappa_1.5.3-1+b1_arm64.deb2023-07-23 02:25 506K 
[ ]libcoq-gappa_1.5.3-1+b1_armhf.deb2023-07-23 01:59 502K 
[ ]libcoq-gappa_1.5.3-1+b1_i386.deb2023-07-23 02:55 500K 
[ ]libcoq-gappa_1.5.3-1+b1_ppc64el.deb2023-06-19 16:12 503K 
[ ]libcoq-gappa_1.5.3-1+b1_riscv64.deb2023-09-23 20:54 504K 
[ ]libcoq-gappa_1.5.3-1+b1_s390x.deb2023-07-23 18:42 504K 
[ ]libcoq-gappa_1.5.3-1+b2_amd64.deb2023-09-22 09:28 503K 
[ ]libcoq-gappa_1.5.3-1+b2_arm64.deb2023-09-22 09:43 506K 
[ ]libcoq-gappa_1.5.3-1+b2_armhf.deb2023-09-22 09:28 502K 
[ ]libcoq-gappa_1.5.3-1+b2_i386.deb2023-09-22 09:18 500K 
[ ]libcoq-gappa_1.5.3-1+b2_ppc64el.deb2023-07-23 01:43 503K 
[ ]libcoq-gappa_1.5.3-1+b2_s390x.deb2023-09-22 09:43 504K 
[ ]libcoq-gappa_1.5.3-1+b3_ppc64el.deb2023-09-22 09:28 503K 
[ ]libcoq-gappa_1.5.3-1_amd64.deb2023-06-13 04:28 503K 
[ ]libcoq-gappa_1.5.3-1_arm64.deb2023-06-16 12:42 506K 
[ ]libcoq-gappa_1.5.3-1_armhf.deb2023-06-13 03:43 501K 
[ ]libcoq-gappa_1.5.3-1_i386.deb2023-06-13 03:43 500K 
[ ]libcoq-gappa_1.5.3-1_ppc64el.deb2023-06-15 02:25 503K 
[ ]libcoq-gappa_1.5.3-1_riscv64.deb2023-09-05 11:50 503K 
[ ]libcoq-gappa_1.5.3-1_s390x.deb2023-06-13 08:12 504K 
[ ]libcoq-gappa_1.5.4-1+b1_amd64.deb2024-03-19 15:47 484K 
[ ]libcoq-gappa_1.5.4-1+b1_arm64.deb2024-03-19 15:37 487K 
[ ]libcoq-gappa_1.5.4-1+b1_armhf.deb2024-03-26 12:08 483K 
[ ]libcoq-gappa_1.5.4-1+b1_i386.deb2024-03-19 15:31 481K 
[ ]libcoq-gappa_1.5.4-1+b1_ppc64el.deb2024-03-19 16:08 484K 
[ ]libcoq-gappa_1.5.4-1+b1_riscv64.deb2024-04-11 00:30 485K 
[ ]libcoq-gappa_1.5.4-1+b1_s390x.deb2024-03-20 01:06 485K 
[ ]libcoq-gappa_1.5.4-1_amd64.deb2023-12-23 06:47 484K 
[ ]libcoq-gappa_1.5.4-1_arm64.deb2023-12-23 06:53 487K 
[ ]libcoq-gappa_1.5.4-1_armhf.deb2023-12-23 06:52 483K 
[ ]libcoq-gappa_1.5.4-1_i386.deb2023-12-23 06:47 481K 
[ ]libcoq-gappa_1.5.4-1_ppc64el.deb2023-12-23 06:47 484K 
[ ]libcoq-gappa_1.5.4-1_riscv64.deb2023-12-23 07:23 485K 
[ ]libcoq-gappa_1.5.4-1_s390x.deb2023-12-23 06:47 485K 
[ ]libcoq-gappa_1.5.5-1+b1_amd64.deb2024-06-15 07:35 505K 
[ ]libcoq-gappa_1.5.5-1+b1_arm64.deb2024-06-15 07:35 508K 
[ ]libcoq-gappa_1.5.5-1+b1_armhf.deb2024-06-15 07:41 503K 
[ ]libcoq-gappa_1.5.5-1+b1_i386.deb2024-06-15 07:35 501K 
[ ]libcoq-gappa_1.5.5-1+b1_ppc64el.deb2024-06-15 07:35 505K 
[ ]libcoq-gappa_1.5.5-1+b1_riscv64.deb2024-06-15 08:56 505K 
[ ]libcoq-gappa_1.5.5-1+b1_s390x.deb2024-06-15 18:22 505K 
[ ]libcoq-gappa_1.5.5-1_amd64.deb2024-04-28 11:11 504K 
[ ]libcoq-gappa_1.5.5-1_arm64.deb2024-04-28 11:05 507K 
[ ]libcoq-gappa_1.5.5-1_armhf.deb2024-04-28 11:11 502K 
[ ]libcoq-gappa_1.5.5-1_i386.deb2024-04-28 11:06 501K 
[ ]libcoq-gappa_1.5.5-1_ppc64el.deb2024-04-28 11:11 503K 
[ ]libcoq-gappa_1.5.5-1_riscv64.deb2024-04-28 11:26 505K 
[ ]libcoq-gappa_1.5.5-1_s390x.deb2024-04-28 11:16 505K 
[ ]libcoq-gappa_1.5.5-2+b1_amd64.deb2024-08-12 00:05 505K 
[ ]libcoq-gappa_1.5.5-2+b1_arm64.deb2024-08-12 00:05 507K 
[ ]libcoq-gappa_1.5.5-2+b1_ppc64el.deb2024-08-12 00:05 503K 
[ ]libcoq-gappa_1.5.5-2+b1_riscv64.deb2024-08-12 00:25 505K 
[ ]libcoq-gappa_1.5.5-2+b1_s390x.deb2024-08-12 03:10 505K 
[ ]libcoq-gappa_1.5.5-2+b2_amd64.deb2024-08-21 00:19 505K 
[ ]libcoq-gappa_1.5.5-2+b2_arm64.deb2024-08-21 00:24 507K 
[ ]libcoq-gappa_1.5.5-2+b2_ppc64el.deb2024-08-21 00:19 504K 
[ ]libcoq-gappa_1.5.5-2+b2_riscv64.deb2024-08-21 04:15 505K 
[ ]libcoq-gappa_1.5.5-2+b2_s390x.deb2024-08-21 02:32 506K 
[ ]libcoq-gappa_1.5.5-2+b3_amd64.deb2024-11-20 10:37 488K 
[ ]libcoq-gappa_1.5.5-2+b3_arm64.deb2024-11-20 12:12 491K 
[ ]libcoq-gappa_1.5.5-2+b3_ppc64el.deb2024-08-30 23:39 504K 
[ ]libcoq-gappa_1.5.5-2+b3_riscv64.deb2024-11-20 12:47 489K 
[ ]libcoq-gappa_1.5.5-2+b3_s390x.deb2024-11-21 04:42 488K 
[ ]libcoq-gappa_1.5.5-2+b4_amd64.deb2024-11-20 11:40 488K 
[ ]libcoq-gappa_1.5.5-2+b4_ppc64el.deb2024-11-20 12:07 487K 
[ ]libcoq-gappa_1.5.5-2_amd64.deb2024-08-04 01:55 505K 
[ ]libcoq-gappa_1.5.5-2_arm64.deb2024-08-04 01:55 507K 
[ ]libcoq-gappa_1.5.5-2_armhf.deb2024-08-04 01:55 503K 
[ ]libcoq-gappa_1.5.5-2_i386.deb2024-08-04 02:11 502K 
[ ]libcoq-gappa_1.5.5-2_ppc64el.deb2024-08-04 01:56 504K 
[ ]libcoq-gappa_1.5.5-2_riscv64.deb2024-08-04 02:48 505K 
[ ]libcoq-gappa_1.5.5-2_s390x.deb2024-08-04 08:29 505K 
[ ]libcoq-gappa_1.6.0-1+b1_amd64.deb2025-01-30 02:52 524K 
[ ]libcoq-gappa_1.6.0-1+b1_arm64.deb2025-01-30 02:52 527K 
[ ]libcoq-gappa_1.6.0-1+b1_ppc64el.deb2025-01-30 02:52 523K 
[ ]libcoq-gappa_1.6.0-1+b1_riscv64.deb2025-01-30 18:08 525K 
[ ]libcoq-gappa_1.6.0-1+b1_s390x.deb2025-01-30 04:39 525K 
[ ]libcoq-gappa_1.6.0-1+b2_amd64.deb2025-02-14 00:59 524K 
[ ]libcoq-gappa_1.6.0-1+b2_arm64.deb2025-02-14 01:09 527K 
[ ]libcoq-gappa_1.6.0-1+b2_ppc64el.deb2025-02-14 00:54 523K 
[ ]libcoq-gappa_1.6.0-1+b2_riscv64.deb2025-02-14 05:43 525K 
[ ]libcoq-gappa_1.6.0-1+b2_s390x.deb2025-02-14 03:03 525K 
[ ]libcoq-gappa_1.6.0-1+b3_amd64.deb2025-02-17 19:46 525K 
[ ]libcoq-gappa_1.6.0-1+b3_arm64.deb2025-02-17 20:21 527K 
[ ]libcoq-gappa_1.6.0-1+b3_ppc64el.deb2025-02-17 19:51 524K 
[ ]libcoq-gappa_1.6.0-1+b3_riscv64.deb2025-02-18 01:34 526K 
[ ]libcoq-gappa_1.6.0-1+b4_s390x.deb2025-02-17 22:33 525K 
[ ]libcoq-gappa_1.6.0-1+b5_s390x.deb2025-02-18 11:56 525K 
[ ]libcoq-gappa_1.6.0-1_amd64.deb2025-01-23 20:35 524K 
[ ]libcoq-gappa_1.6.0-1_arm64.deb2025-01-23 20:40 527K 
[ ]libcoq-gappa_1.6.0-1_ppc64el.deb2025-01-23 20:35 523K 
[ ]libcoq-gappa_1.6.0-1_riscv64.deb2025-01-23 20:40 525K 
[ ]libcoq-gappa_1.6.0-1_s390x.deb2025-01-23 21:27 525K 
[ ]libcoq-gappa_1.7.0-1+b1_amd64.deb2025-06-15 07:15 538K 
[ ]libcoq-gappa_1.7.0-1+b1_arm64.deb2025-06-15 07:15 541K 
[ ]libcoq-gappa_1.7.0-1+b1_ppc64el.deb2025-06-15 07:15 537K 
[ ]libcoq-gappa_1.7.0-1+b1_riscv64.deb2025-06-15 08:00 539K 
[ ]libcoq-gappa_1.7.0-1+b2_s390x.deb2025-06-17 15:59 538K 
[ ]libcoq-gappa_1.7.0-1_amd64.deb2025-02-20 11:06 537K 
[ ]libcoq-gappa_1.7.0-1_arm64.deb2025-02-20 11:06 540K 
[ ]libcoq-gappa_1.7.0-1_ppc64el.deb2025-02-20 11:06 537K 
[ ]libcoq-gappa_1.7.0-1_riscv64.deb2025-02-20 11:22 538K 
[ ]libcoq-gappa_1.7.0-1_s390x.deb2025-02-20 11:21 539K