Index of /debian/pool/contrib/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 20-Dec-2022 22:06            36501836
coq_8.12.0-3+b3_amd64.deb                          20-Dec-2022 21:08            90453192
coqide_8.12.0-3+b3_amd64.deb                       20-Dec-2022 22:13             1879212
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             20-Dec-2022 23:03            18727404
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 20-Dec-2022 20:38             7758156