Index of /debian-ports/pool-alpha/main/c/coq/

../
coq-theories_8.12.0-3+b3_alpha.deb                 26-Nov-2020 09:03     23M
coq_8.12.0-3+b3_alpha.buildinfo                    26-Nov-2020 09:03     15K
coq_8.12.0-3+b3_alpha.deb                          26-Nov-2020 09:03    101M
coqide_8.12.0-3+b3_alpha.deb                       26-Nov-2020 09:03     46K
libcoq-ocaml-dbgsym_8.12.0-3+b3_alpha.deb          26-Nov-2020 09:03     33K
libcoq-ocaml-dev_8.12.0-3+b3_alpha.deb             26-Nov-2020 09:03     11M
libcoq-ocaml_8.12.0-3+b3_alpha.deb                 26-Nov-2020 09:03      5M