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

../
coq-theories_8.12.0-3+b3_sh4.deb                   25-Nov-2020 18:03            23912076
coq_8.12.0-3+b3_sh4.buildinfo                      25-Nov-2020 18:03               15869
coq_8.12.0-3+b3_sh4.deb                            25-Nov-2020 18:03           105883036
coqide_8.12.0-3+b3_sh4.deb                         25-Nov-2020 18:03               46740
libcoq-ocaml-dbgsym_8.12.0-3+b3_sh4.deb            25-Nov-2020 18:03               33096
libcoq-ocaml-dev_8.12.0-3+b3_sh4.deb               25-Nov-2020 18:03            11284048
libcoq-ocaml_8.12.0-3+b3_sh4.deb                   25-Nov-2020 18:03             5462724