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


../
coq-theories_8.11.1~pre1-1_hppa.deb                17-Apr-2020 06:03            21418228
coq-theories_8.9.1-5+b1_hppa.deb                   12-Feb-2020 06:03            20335564
coq_8.11.1~pre1-1_hppa.buildinfo                   17-Apr-2020 06:03               15636
coq_8.11.1~pre1-1_hppa.deb                         17-Apr-2020 06:03            87151328
coq_8.9.1-5+b1_hppa.buildinfo                      12-Feb-2020 06:03               14604
coq_8.9.1-5+b1_hppa.deb                            12-Feb-2020 06:03            73425348
coqide_8.11.1~pre1-1_hppa.deb                      17-Apr-2020 06:03               46236
coqide_8.9.1-5+b1_hppa.deb                         12-Feb-2020 06:03              101692
libcoq-ocaml-dbgsym_8.11.1~pre1-1_hppa.deb         17-Apr-2020 06:03               40976
libcoq-ocaml-dbgsym_8.9.1-5+b1_hppa.deb            12-Feb-2020 06:03               26568
libcoq-ocaml-dev_8.11.1~pre1-1_hppa.deb            17-Apr-2020 06:03             9372592
libcoq-ocaml-dev_8.9.1-5+b1_hppa.deb               12-Feb-2020 06:03             8863788
libcoq-ocaml_8.11.1~pre1-1_hppa.deb                17-Apr-2020 06:03             4249876
libcoq-ocaml_8.9.1-5+b1_hppa.deb                   12-Feb-2020 06:03             3810384