Index of /dev/devuan/merged/pool/DEBIAN/main/c/coq/

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     07-Sep-2026 11:26     89M
coq_8.20.1+dfsg-1+b1_amd64.deb                     07-Sep-2026 11:26     67M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  07-Sep-2026 11:26      2M
coqide_8.20.1+dfsg-1+b1_amd64.deb                  07-Sep-2026 11:26      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   07-Sep-2026 11:26     41M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   07-Sep-2026 11:26     66M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       07-Sep-2026 11:26     22M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       07-Sep-2026 11:26     25M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           07-Sep-2026 11:26     21M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           07-Sep-2026 11:26     22M