Index of /pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 01-Mar-2022 11:36            36501836
coq_8.12.0-3+b3_amd64.deb                          01-Mar-2022 11:22            90453192
coqide_8.12.0-3+b3_amd64.deb                       01-Mar-2022 11:29             1879212
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             01-Mar-2022 11:23            18727404
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 01-Mar-2022 11:33             7758156