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


../
coq-dbgsym_8.9.1-1_kfreebsd-i386.deb                                                                                     21-Aug-2019 00:03      4M
coq-theories_8.9.1-1_kfreebsd-i386.deb                                                                                   21-Aug-2019 00:03     19M
coq_8.9.1-1_kfreebsd-i386.buildinfo                                                                                      21-Aug-2019 00:03     14K
coq_8.9.1-1_kfreebsd-i386.deb                                                                                            21-Aug-2019 00:03     54M
libcoq-ocaml-dbgsym_8.9.1-1_kfreebsd-i386.deb                                                                            21-Aug-2019 00:03    512K
libcoq-ocaml-dev_8.9.1-1_kfreebsd-i386.deb                                                                               21-Aug-2019 00:03     13M
libcoq-ocaml_8.9.1-1_kfreebsd-i386.deb                                                                                   21-Aug-2019 00:03      5M