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


../
coq-theories_8.9.1-1_hppa.deb                      20-Aug-2019 12:03            20360776
coq_8.9.1-1_hppa.buildinfo                         20-Aug-2019 12:03               13872
coq_8.9.1-1_hppa.deb                               20-Aug-2019 12:03            50112720
libcoq-ocaml-dbgsym_8.9.1-1_hppa.deb               20-Aug-2019 12:03               26608
libcoq-ocaml-dev_8.9.1-1_hppa.deb                  20-Aug-2019 12:03             7964240
libcoq-ocaml_8.9.1-1_hppa.deb                      20-Aug-2019 12:03             3631312