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

../
coq-theories_8.12.0-3+b3_amd64.deb                 07-Sep-2026 11:26     35M
coq_8.12.0-3+b3_amd64.deb                          07-Sep-2026 11:26     86M
coqide_8.12.0-3+b3_amd64.deb                       07-Sep-2026 11:26      2M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             07-Sep-2026 11:26     18M
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 07-Sep-2026 11:26      7M