Index of /debian-ports/pool-kfreebsd-amd64/main/c/coq

Icon  Name                                            Last modified      Size  Description
[DIR] Parent Directory - [   ] libcoq-ocaml_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 6.1M [   ] libcoq-ocaml-dev_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 15M [   ] libcoq-ocaml-dbgsym_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 637K [   ] coqide_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 1.6M [   ] coqide-dbgsym_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 510K [   ] coq_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 73M [   ] coq_8.11.0-1_kfreebsd-amd64.buildinfo 13-Apr-2020 08:03 17K [   ] coq-theories_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 20M [   ] coq-dbgsym_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03 7.0M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80