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.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672
coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192
coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 93212572
coq_8.17.0+dfsg-1+b3_amd64.deb 22-Sep-2023 06:56 80341312
coq_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 81718924
coq_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 06:46 82408248
coq_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 86624372
coq_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 76953200
coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 58990560
coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212
coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 1993412
coqide_8.17.0+dfsg-1+b3_amd64.deb 22-Sep-2023 06:56 1990748
coqide_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 2000792
coqide_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 06:46 2007760
coqide_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 2151312
coqide_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 1927168
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 42725424
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_amd64.deb 22-Sep-2023 06:56 43393532
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 44441076
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 06:46 45600788
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 67218564
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 69383144
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22556068
libcoq-core-ocaml_8.17.0+dfsg-1+b3_amd64.deb 22-Sep-2023 06:56 22785376
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 23212704
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 06:46 23200112
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 25065856
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 25868164
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404
libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936
libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156
libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21526056
libcoq-stdlib_8.17.0+dfsg-1+b3_amd64.deb 22-Sep-2023 06:56 25095556
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 23237712
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb 15-Jun-2024 06:46 23653476
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb 20-Aug-2024 18:10 23657888
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 10:33 23529268