Index of /pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 15-Jan-2021 14:48            36501836
coq_8.12.0-3+b3_amd64.deb                          15-Jan-2021 14:24            90453192
coqide_8.12.0-3+b3_amd64.deb                       15-Jan-2021 14:57             1879212
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             15-Jan-2021 14:33            18727404
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 15-Jan-2021 13:55             7758156