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

Icon  Name                                        Last modified      Size  Description
[DIR] Parent Directory - [   ] libcoq-ocaml_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 6.2M [   ] libcoq-ocaml-dev_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 16M [   ] libcoq-ocaml-dbgsym_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 494K [   ] coqide_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 1.7M [   ] coqide-dbgsym_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 424K [   ] coq_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 74M [   ] coq_8.11.0-1+b1_ppc64.buildinfo 20-Apr-2020 08:03 18K [   ] coq-theories_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 20M [   ] coq-dbgsym_8.11.0-1+b1_ppc64.deb 20-Apr-2020 08:03 4.8M [   ] libcoq-ocaml_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 6.2M [   ] libcoq-ocaml-dev_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 16M [   ] libcoq-ocaml-dbgsym_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 495K [   ] coqide_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 1.7M [   ] coqide-dbgsym_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 424K [   ] coq_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 74M [   ] coq_8.11.1~pre1-1_ppc64.buildinfo 17-Apr-2020 08:03 16K [   ] coq-theories_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 20M [   ] coq-dbgsym_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03 5.0M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80