Index of /debian/pool/main/c/coq/
../
coq-theories_8.12.0-3+b3_amd64.deb 12-May-2025 11:33 36501836
coq_8.12.0-3+b3_amd64.deb 12-May-2025 11:33 90453192
coq_8.16.1+dfsg-1+b2_amd64.deb 16-Dec-2025 21:54 93212572
coq_8.18.0+dfsg-1_amd64.deb 24-Jun-2024 01:43 81718924
coq_8.18.0+dfsg-1_i386.deb 24-Jun-2024 01:44 77154484
coq_8.19.1+dfsg-2_amd64.deb 16-Aug-2024 20:36 82408248
coq_8.19.1+dfsg-2_i386.deb 16-Aug-2024 20:36 78939068
coq_8.19.1+dfsg-3+b2_amd64.deb 29-Nov-2024 02:20 86624372
coq_8.20.0+dfsg-1+b1_amd64.deb 26-Feb-2025 02:27 70066988
coq_8.20.0+dfsg-1_amd64.deb 07-Feb-2025 14:09 76953200
coq_8.20.1+dfsg-1+b1_amd64.deb 16-Dec-2025 21:51 70222224
coq_8.20.1+dfsg-1_amd64.deb 19-Jun-2025 20:09 70220620
coqide_8.12.0-3+b3_amd64.deb 12-May-2025 11:33 1879212
coqide_8.16.1+dfsg-1+b2_amd64.deb 16-Dec-2025 21:54 1993412
coqide_8.18.0+dfsg-1_amd64.deb 24-Jun-2024 01:43 2000792
coqide_8.18.0+dfsg-1_i386.deb 24-Jun-2024 01:44 1814976
coqide_8.19.1+dfsg-2_amd64.deb 16-Aug-2024 20:36 2007760
coqide_8.19.1+dfsg-2_i386.deb 16-Aug-2024 20:36 1821012
coqide_8.19.1+dfsg-3+b2_amd64.deb 29-Nov-2024 02:20 2151312
coqide_8.20.0+dfsg-1+b1_amd64.deb 26-Feb-2025 02:27 1937236
coqide_8.20.0+dfsg-1_amd64.deb 07-Feb-2025 14:09 1927168
coqide_8.20.1+dfsg-1+b1_amd64.deb 16-Dec-2025 21:51 1930360
coqide_8.20.1+dfsg-1_amd64.deb 19-Jun-2025 20:09 1929960
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 16-Dec-2025 21:54 42725424
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 24-Jun-2024 01:43 44441076
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb 24-Jun-2024 01:44 44137932
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb 16-Aug-2024 20:36 45600788
libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb 16-Aug-2024 20:36 45432792
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb 29-Nov-2024 02:20 67218564
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb 26-Feb-2025 02:27 68714924
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb 07-Feb-2025 14:09 69383144
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 16-Dec-2025 21:51 68700208
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 19-Jun-2025 20:09 68723636
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 16-Dec-2025 21:54 22556068
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 24-Jun-2024 01:43 23212704
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb 24-Jun-2024 01:44 22395260
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb 16-Aug-2024 20:36 23200112
libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb 16-Aug-2024 20:36 22638372
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb 29-Nov-2024 02:20 25065856
libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb 26-Feb-2025 02:27 25949400
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb 07-Feb-2025 14:09 25868164
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 16-Dec-2025 21:51 25955760
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 19-Jun-2025 20:09 25950932
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 12-May-2025 11:33 18727404
libcoq-ocaml_8.12.0-3+b3_amd64.deb 12-May-2025 11:33 7758156
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 16-Dec-2025 21:54 21526056
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 24-Jun-2024 01:43 23237712
libcoq-stdlib_8.18.0+dfsg-1_i386.deb 24-Jun-2024 01:44 23234760
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb 16-Aug-2024 20:36 23653476
libcoq-stdlib_8.19.1+dfsg-2_i386.deb 16-Aug-2024 20:36 23654068
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb 29-Nov-2024 02:20 23657888
libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb 26-Feb-2025 02:27 23527456
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb 07-Feb-2025 14:09 23529268
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 16-Dec-2025 21:51 23527164
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 19-Jun-2025 20:09 23526120