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

 Name                                            Last modified      Size  Description
 Parent Directory                                                     -   
 coq-dbgsym_8.11.0-1_kfreebsd-amd64.deb          13-Apr-2020 08:03  7.0M  
 coq-theories_8.11.0-1_kfreebsd-amd64.deb        13-Apr-2020 08:03   20M  
 coq_8.11.0-1_kfreebsd-amd64.buildinfo           13-Apr-2020 08:03   17K  
 coq_8.11.0-1_kfreebsd-amd64.deb                 13-Apr-2020 08:03   73M  
 coqide-dbgsym_8.11.0-1_kfreebsd-amd64.deb       13-Apr-2020 08:03  510K  
 coqide_8.11.0-1_kfreebsd-amd64.deb              13-Apr-2020 08:03  1.6M  
 libcoq-ocaml-dbgsym_8.11.0-1_kfreebsd-amd64.deb 13-Apr-2020 08:03  637K  
 libcoq-ocaml-dev_8.11.0-1_kfreebsd-amd64.deb    13-Apr-2020 08:03   15M  
 libcoq-ocaml_8.11.0-1_kfreebsd-amd64.deb        13-Apr-2020 08:03  6.1M