Index of /debian/pool/main/c/coq/
../
coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836
coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 35237680
coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192
coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 87886220
coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37772
coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483
coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6008211
coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 93212572
coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 87517396
coq_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 93314900
coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 08:35 33236
coq_8.16.1+dfsg-1.dsc 29-Nov-2022 08:35 2629
coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 08:35 4717668
coq_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 70222224
coq_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 71194768
coq_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 71035152
coq_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 72358544
coq_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 72116820
coq_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 71111940
coq_8.20.1+dfsg-1.debian.tar.xz 17-Feb-2025 16:37 30208
coq_8.20.1+dfsg-1.dsc 17-Feb-2025 16:37 2582
coq_8.20.1+dfsg.orig.tar.xz 17-Feb-2025 16:37 5014988
coq_9.2.0+dfsg-1.debian.tar.xz 10-Jul-2026 08:36 23724
coq_9.2.0+dfsg-1.dsc 10-Jul-2026 08:36 2499
coq_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 41143764
coq_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 24360688
coq_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 24271384
coq_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 42398856
coq_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 42214060
coq_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 41138392
coq_9.2.0+dfsg-2.debian.tar.xz 21-Jul-2026 08:17 23752
coq_9.2.0+dfsg-2.dsc 21-Jul-2026 08:17 2499
coq_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 41145596
coq_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 24361956
coq_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 24214916
coq_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 42215884
coq_9.2.0+dfsg.orig.tar.xz 10-Jul-2026 08:36 3946088
coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212
coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 1723020
coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 1993412
coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 1806236
coqide_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 1979904
coqide_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 1930360
coqide_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 1994992
coqide_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 1974864
coqide_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 2041880
coqide_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 2009756
coqide_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 1936232
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 42449528
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 42245924
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 68700208
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 73545616
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 68187812
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 56951172
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 51832812
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 52003544
libcoq-core-ocaml-dev_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 55434592
libcoq-core-ocaml-dev_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 46311064
libcoq-core-ocaml-dev_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 46303224
libcoq-core-ocaml-dev_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 60605084
libcoq-core-ocaml-dev_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 55250636
libcoq-core-ocaml-dev_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 55435096
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 55432132
libcoq-core-ocaml-dev_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 46310440
libcoq-core-ocaml-dev_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 46306548
libcoq-core-ocaml-dev_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 55255568
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21747176
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 22619920
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 25955760
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 26021184
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 26001128
libcoq-core-ocaml_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 24357736
libcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 24320344
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 24203864
libcoq-core-ocaml_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 25713812
libcoq-core-ocaml_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 18004196
libcoq-core-ocaml_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 17994488
libcoq-core-ocaml_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 25873476
libcoq-core-ocaml_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 25841148
libcoq-core-ocaml_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 25712008
libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 25712392
libcoq-core-ocaml_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 18004984
libcoq-core-ocaml_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 17994556
libcoq-core-ocaml_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 25844424
libcoq-core_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 1153152
libcoq-core_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 1153960
libcoq-core_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 1153000
libcoq-core_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 1152216
libcoq-core_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 1151320
libcoq-core_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1151536
libcoq-core_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 1152552
libcoq-core_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 1153456
libcoq-core_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 1151776
libcoq-core_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 1151580
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18658564
libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156
libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7575772
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21528432
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 21529156
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 23527164
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb 15-Jun-2025 04:52 23528068
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb 16-Jun-2025 12:17 23528344
libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb 20-Jun-2026 09:02 23527868
libcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deb 18-Jun-2026 11:54 23523944
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 23525832
rocqide_9.2.0+dfsg-1_amd64.deb 10-Jul-2026 08:36 1941608
rocqide_9.2.0+dfsg-1_i386.deb 10-Jul-2026 09:06 638088
rocqide_9.2.0+dfsg-1_loong64.deb 10-Jul-2026 09:11 610072
rocqide_9.2.0+dfsg-1_riscv64.deb 10-Jul-2026 15:18 2046304
rocqide_9.2.0+dfsg-1_s390x.deb 10-Jul-2026 09:06 2024024
rocqide_9.2.0+dfsg-2+b1_amd64.deb 21-Jul-2026 14:41 1953960
rocqide_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 08:17 1949732
rocqide_9.2.0+dfsg-2_i386.deb 21-Jul-2026 08:53 638196
rocqide_9.2.0+dfsg-2_loong64.deb 21-Jul-2026 08:53 608748
rocqide_9.2.0+dfsg-2_s390x.deb 21-Jul-2026 08:53 2026964