Index of /debian/pool/main/c/coq/
../
coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 15:28 36501836
coq-theories_8.9.0-1_amd64.deb 07-Feb-2019 02:49 29737672
coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 15:28 90453192
coq_8.12.0-3.debian.tar.xz 10-Sep-2020 14:38 37772
coq_8.12.0-3.dsc 10-Sep-2020 14:38 2483
coq_8.12.0.orig.tar.gz 22-Aug-2020 17:26 6008211
coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 09:14 93212572
coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 16:35 33236
coq_8.16.1+dfsg-1.dsc 29-Nov-2022 16:35 2629
coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 16:35 4717668
coq_8.18.0+dfsg-1.debian.tar.xz 21-Dec-2023 21:58 33160
coq_8.18.0+dfsg-1.dsc 21-Dec-2023 21:58 2570
coq_8.18.0+dfsg-1_amd64.deb 22-Dec-2023 01:16 81718924
coq_8.18.0+dfsg.orig.tar.xz 21-Dec-2023 21:58 4868368
coq_8.19.1+dfsg-1.debian.tar.xz 26-Apr-2024 21:46 32828
coq_8.19.1+dfsg-1.dsc 26-Apr-2024 21:46 2573
coq_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 22:22 82150060
coq_8.19.1+dfsg-2.debian.tar.xz 15-Jun-2024 14:05 32852
coq_8.19.1+dfsg-2.dsc 15-Jun-2024 14:05 2341
coq_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 14:46 82408248
coq_8.19.1+dfsg-3+b1_amd64.deb 09-Aug-2024 01:58 86598632
coq_8.19.1+dfsg-3+b2_amd64.deb 21-Aug-2024 02:10 86624372
coq_8.19.1+dfsg-3.debian.tar.xz 03-Aug-2024 15:53 32904
coq_8.19.1+dfsg-3.dsc 03-Aug-2024 15:53 2341
coq_8.19.1+dfsg-3_amd64.deb 03-Aug-2024 17:04 82407064
coq_8.19.1+dfsg.orig.tar.bz2 26-Apr-2024 21:46 5589471
coq_8.20.0+dfsg-1+b1_amd64.deb 29-Jan-2025 01:00 70066988
coq_8.20.0+dfsg-1+b2_amd64.deb 13-Feb-2025 11:14 70213860
coq_8.20.0+dfsg-1.debian.tar.xz 20-Nov-2024 17:52 30196
coq_8.20.0+dfsg-1.dsc 20-Nov-2024 17:52 2570
coq_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:33 76953200
coq_8.20.0+dfsg.orig.tar.xz 20-Nov-2024 17:52 5012820
coq_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 09:07 70222224
coq_8.20.1+dfsg-1+b2_amd64.deb 28-Dec-2025 02:30 71118656
coq_8.20.1+dfsg-1.debian.tar.xz 18-Feb-2025 00:37 30208
coq_8.20.1+dfsg-1.dsc 18-Feb-2025 00:37 2582
coq_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 01:12 70220620
coq_8.20.1+dfsg.orig.tar.xz 18-Feb-2025 00:37 5014988
coq_8.9.0-1.debian.tar.xz 07-Feb-2019 02:49 27816
coq_8.9.0-1.dsc 07-Feb-2019 02:49 2417
coq_8.9.0-1_amd64.deb 07-Feb-2019 02:49 58990560
coq_8.9.0.orig.tar.gz 07-Feb-2019 02:49 5395769
coq_9.1.0+dfsg-1.debian.tar.xz 18-Sep-2025 00:17 24072
coq_9.1.0+dfsg-1.dsc 18-Sep-2025 00:17 2564
coq_9.1.0+dfsg-1_amd64.deb 18-Sep-2025 00:17 39607820
coq_9.1.0+dfsg-2.debian.tar.xz 29-Oct-2025 07:38 24092
coq_9.1.0+dfsg-2.dsc 29-Oct-2025 07:38 2540
coq_9.1.0+dfsg-2_amd64.deb 29-Oct-2025 07:38 39612632
coq_9.1.0+dfsg-3+b1_amd64.deb 28-Dec-2025 02:30 40185432
coq_9.1.0+dfsg-3.debian.tar.xz 12-Nov-2025 01:29 24136
coq_9.1.0+dfsg-3.dsc 12-Nov-2025 01:29 2540
coq_9.1.0+dfsg-3_amd64.deb 12-Nov-2025 01:29 39630028
coq_9.1.0+dfsg.orig.tar.xz 18-Sep-2025 00:17 3834256
coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 15:28 1879212
coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 09:14 1993412
coqide_8.18.0+dfsg-1_amd64.deb 22-Dec-2023 01:16 2000792
coqide_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 22:22 2004000
coqide_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 14:46 2007760
coqide_8.19.1+dfsg-3+b1_amd64.deb 09-Aug-2024 01:58 2148816
coqide_8.19.1+dfsg-3+b2_amd64.deb 21-Aug-2024 02:10 2151312
coqide_8.19.1+dfsg-3_amd64.deb 03-Aug-2024 17:04 2006128
coqide_8.20.0+dfsg-1+b1_amd64.deb 29-Jan-2025 01:00 1937236
coqide_8.20.0+dfsg-1+b2_amd64.deb 13-Feb-2025 11:14 1932788
coqide_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:33 1927168
coqide_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 09:07 1930360
coqide_8.20.1+dfsg-1+b2_amd64.deb 28-Dec-2025 02:30 1952024
coqide_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 01:12 1929960
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 09:14 42725424
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 22-Dec-2023 01:16 44441076
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 22:22 45213200
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 14:46 45600788
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b1_amd64.deb 09-Aug-2024 01:58 67214992
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb 21-Aug-2024 02:10 67218564
libcoq-core-ocaml-dev_8.19.1+dfsg-3_amd64.deb 03-Aug-2024 17:04 45598972
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb 29-Jan-2025 01:00 68714924
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b2_amd64.deb 13-Feb-2025 11:14 68716452
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:33 69383144
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 09:07 68700208
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deb 28-Dec-2025 02:30 52013688
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 01:12 68723636
libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb 18-Sep-2025 00:17 70968132
libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb 29-Oct-2025 07:38 70970908
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_amd64.deb 28-Dec-2025 02:30 53717884
libcoq-core-ocaml-dev_9.1.0+dfsg-3_amd64.deb 12-Nov-2025 01:29 70966296
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 09:14 22556068
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 22-Dec-2023 01:16 23212704
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 22:22 23421824
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 14:46 23200112
libcoq-core-ocaml_8.19.1+dfsg-3+b1_amd64.deb 09-Aug-2024 01:58 25065588
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb 21-Aug-2024 02:10 25065856
libcoq-core-ocaml_8.19.1+dfsg-3_amd64.deb 03-Aug-2024 17:04 23189620
libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb 29-Jan-2025 01:00 25949400
libcoq-core-ocaml_8.20.0+dfsg-1+b2_amd64.deb 13-Feb-2025 11:14 25946204
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:33 25868164
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 09:07 25955760
libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deb 28-Dec-2025 02:30 24207612
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 01:12 25950932
libcoq-core-ocaml_9.1.0+dfsg-1_amd64.deb 18-Sep-2025 00:17 26828332
libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb 29-Oct-2025 07:38 26823372
libcoq-core-ocaml_9.1.0+dfsg-3+b1_amd64.deb 28-Dec-2025 02:30 24975656
libcoq-core-ocaml_9.1.0+dfsg-3_amd64.deb 12-Nov-2025 01:29 26827924
libcoq-core_9.1.0+dfsg-1_amd64.deb 18-Sep-2025 00:17 1138836
libcoq-core_9.1.0+dfsg-2_amd64.deb 29-Oct-2025 07:38 1137624
libcoq-core_9.1.0+dfsg-3+b1_amd64.deb 28-Dec-2025 02:30 1138212
libcoq-core_9.1.0+dfsg-3_amd64.deb 12-Nov-2025 01:29 1136804
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 15:28 18727404
libcoq-ocaml-dev_8.9.0-1_amd64.deb 07-Feb-2019 02:49 13703936
libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 15:28 7758156
libcoq-ocaml_8.9.0-1_amd64.deb 07-Feb-2019 02:49 5463112
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 09:14 21526056
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 22-Dec-2023 01:16 23237712
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 22:22 23660332
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 14:46 23653476
libcoq-stdlib_8.19.1+dfsg-3+b1_amd64.deb 09-Aug-2024 01:58 23656292
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb 21-Aug-2024 02:10 23657888
libcoq-stdlib_8.19.1+dfsg-3_amd64.deb 03-Aug-2024 17:04 23653232
libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb 29-Jan-2025 01:00 23527456
libcoq-stdlib_8.20.0+dfsg-1+b2_amd64.deb 13-Feb-2025 11:14 23528676
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:33 23529268
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 09:07 23527164
libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb 28-Dec-2025 02:30 23530520
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 01:12 23526120
rocqide_9.1.0+dfsg-1_amd64.deb 18-Sep-2025 00:17 1930940
rocqide_9.1.0+dfsg-2_amd64.deb 29-Oct-2025 07:38 1931252
rocqide_9.1.0+dfsg-3+b1_amd64.deb 28-Dec-2025 02:30 1949700
rocqide_9.1.0+dfsg-3_amd64.deb 12-Nov-2025 01:29 1935724