Index of /mirror/deb.debian.org/debian/pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 10-Oct-2023 10:17            36501836
coq-theories_8.12.0-3+b3_armhf.deb                 10-Oct-2023 10:17            23918664
coq-theories_8.9.0-1_amd64.deb                     10-Oct-2023 03:19            29737672
coq-theories_8.9.0-1_armhf.deb                     10-Oct-2023 03:19            20351780
coq_8.12.0-3+b3_amd64.deb                          10-Oct-2023 10:17            90453192
coq_8.12.0-3+b3_armhf.deb                          10-Oct-2023 10:18            88355300
coq_8.16.1+dfsg-1+b2_amd64.deb                     10-Oct-2023 10:18            93212572
coq_8.16.1+dfsg-1+b2_armhf.deb                     10-Oct-2023 10:18            89867592
coq_8.9.0-1_amd64.deb                              10-Oct-2023 03:19            58990560
coq_8.9.0-1_armhf.deb                              10-Oct-2023 03:19            57327100
coqide_8.12.0-3+b3_amd64.deb                       10-Oct-2023 10:18             1879212
coqide_8.12.0-3+b3_armhf.deb                       10-Oct-2023 10:18             1736840
coqide_8.16.1+dfsg-1+b2_amd64.deb                  10-Oct-2023 10:18             1993412
coqide_8.16.1+dfsg-1+b2_armhf.deb                  10-Oct-2023 10:18             1834728
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   10-Oct-2023 10:18            42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   10-Oct-2023 10:18            43114464
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       10-Oct-2023 10:18            22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       10-Oct-2023 10:18            22259280
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             10-Oct-2023 10:18            18727404
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb             10-Oct-2023 10:18            19195248
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 10-Oct-2023 03:19            13703936
libcoq-ocaml-dev_8.9.0-1_armhf.deb                 10-Oct-2023 03:19            14391840
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 10-Oct-2023 10:18             7758156
libcoq-ocaml_8.12.0-3+b3_armhf.deb                 10-Oct-2023 10:18             7743064
libcoq-ocaml_8.9.0-1_amd64.deb                     10-Oct-2023 03:19             5463112
libcoq-ocaml_8.9.0-1_armhf.deb                     10-Oct-2023 03:19             5384100
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           10-Oct-2023 10:18            21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           10-Oct-2023 10:18            21527688