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

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