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