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

Icon  Name                                       Last modified      Size  Description
[DIR] Parent Directory - [   ] libcoq-ocaml_8.9.1-5+b1_ia64.deb 12-Feb-2020 01:03 3.6M [   ] libcoq-ocaml_8.11.1~pre1-1_ia64.deb 24-Apr-2020 14:03 4.1M [   ] libcoq-ocaml-dev_8.9.1-5+b1_ia64.deb 12-Feb-2020 01:03 8.5M [   ] libcoq-ocaml-dev_8.11.1~pre1-1_ia64.deb 24-Apr-2020 14:03 8.9M [   ] libcoq-ocaml-dbgsym_8.9.1-5+b1_ia64.deb 12-Feb-2020 01:03 34K [   ] libcoq-ocaml-dbgsym_8.11.1~pre1-1_ia64.deb 24-Apr-2020 14:03 37K [   ] coqide_8.9.1-5+b1_ia64.deb 12-Feb-2020 01:03 99K [   ] coqide_8.11.1~pre1-1_ia64.deb 24-Apr-2020 14:03 45K [   ] coq_8.9.1-5+b1_ia64.deb 12-Feb-2020 01:03 70M [   ] coq_8.9.1-5+b1_ia64.buildinfo 12-Feb-2020 01:03 14K [   ] coq_8.11.1~pre1-1_ia64.deb 24-Apr-2020 14:03 83M [   ] coq_8.11.1~pre1-1_ia64.buildinfo 24-Apr-2020 14:03 15K [   ] coq-theories_8.9.1-5+b1_ia64.deb 12-Feb-2020 01:03 19M [   ] coq-theories_8.11.1~pre1-1_ia64.deb 24-Apr-2020 14:03 20M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80