Index of /debian/pool/main/c/coq/

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     07-Oct-2026 16:25            93212572
coq_8.20.1+dfsg-1+b1_amd64.deb                     07-Oct-2026 16:24            70222224
coq_8.20.1+dfsg-1_amd64.deb                        19-Jun-2025 20:09            70220620
coq_9.2.0+dfsg-4_amd64.deb                         07-Oct-2026 16:22            41290504
coqide_8.16.1+dfsg-1+b2_amd64.deb                  07-Oct-2026 16:25             1993412
coqide_8.20.1+dfsg-1+b1_amd64.deb                  07-Oct-2026 16:24             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   07-Oct-2026 16:25            42725424
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   07-Oct-2026 16:24            68700208
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb      19-Jun-2025 20:09            68723636
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb       07-Oct-2026 16:22            55691200
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       07-Oct-2026 16:25            22556068
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       07-Oct-2026 16:24            25955760
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb          19-Jun-2025 20:09            25950932
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb           07-Oct-2026 16:22            25788404
libcoq-core_9.2.0+dfsg-4_amd64.deb                 07-Oct-2026 16:22             1153244
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           07-Oct-2026 16:25            21526056
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           07-Oct-2026 16:24            23527164
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb              19-Jun-2025 20:09            23526120
rocqide_9.2.0+dfsg-4_amd64.deb                     07-Oct-2026 16:22             1942852