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


../
coq-dbgsym_8.6-5_powerpc.deb                       26-Sep-2017 11:14             1470252
coq-theories_8.6-5_powerpc.deb                     26-Sep-2017 11:14            22905668
coq_8.6-5_powerpc.buildinfo                        29-Jun-2018 23:05               13134
coq_8.6-5_powerpc.deb                              26-Sep-2017 11:14            16797724
coqide-dbgsym_8.6-5_powerpc.deb                    26-Sep-2017 11:14              392770
coqide_8.6-5_powerpc.deb                           26-Sep-2017 11:14             1473760
libcoq-ocaml-dbgsym_8.6-5_powerpc.deb              26-Sep-2017 11:14              287586
libcoq-ocaml-dev-dbgsym_8.6-5_powerpc.deb          26-Sep-2017 11:14               91350
libcoq-ocaml-dev_8.6-5_powerpc.deb                 26-Sep-2017 11:14            13802380
libcoq-ocaml_8.6-5_powerpc.deb                     26-Sep-2017 11:14             3506234