Index of /pool/main/c/coq/

../
coq_8.20.1+dfsg-1+b1_amd64.deb                     29-Jul-2026 14:03            70222224
coq_9.2.0+dfsg-4_amd64.deb                         06-Sep-2026 16:31            41290504
coqide_8.20.1+dfsg-1+b1_amd64.deb                  29-Jul-2026 14:03             1930360
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   29-Jul-2026 14:03            68700208
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb       06-Sep-2026 16:31            55691200
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       29-Jul-2026 14:04            25955760
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb           06-Sep-2026 16:31            25788404
libcoq-core_9.2.0+dfsg-4_amd64.deb                 06-Sep-2026 16:31             1153244
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           29-Jul-2026 14:04            23527164
rocqide_9.2.0+dfsg-4_amd64.deb                     06-Sep-2026 16:31             1942852