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

../
coq-theories_8.12.0-3+b3_hppa.deb                  26-Nov-2020 00:03            23919144
coq_8.12.0-3+b3_hppa.buildinfo                     26-Nov-2020 00:03               15934
coq_8.12.0-3+b3_hppa.deb                           26-Nov-2020 00:03           105874668
coqide_8.12.0-3+b3_hppa.deb                        26-Nov-2020 00:03               46764
libcoq-ocaml-dbgsym_8.12.0-3+b3_hppa.deb           26-Nov-2020 00:03               40868
libcoq-ocaml-dev_8.12.0-3+b3_hppa.deb              26-Nov-2020 00:03            11282856
libcoq-ocaml_8.12.0-3+b3_hppa.deb                  26-Nov-2020 00:03             5461760