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

../
coq-theories_8.12.0-3+b3_hppa.deb                                                                                        26-Nov-2020 00:03     23M
coq_8.12.0-3+b3_hppa.buildinfo                                                                                           26-Nov-2020 00:03     16K
coq_8.12.0-3+b3_hppa.deb                                                                                                 26-Nov-2020 00:03    101M
coqide_8.12.0-3+b3_hppa.deb                                                                                              26-Nov-2020 00:03     46K
libcoq-ocaml-dbgsym_8.12.0-3+b3_hppa.deb                                                                                 26-Nov-2020 00:03     40K
libcoq-ocaml-dev_8.12.0-3+b3_hppa.deb                                                                                    26-Nov-2020 00:03     11M
libcoq-ocaml_8.12.0-3+b3_hppa.deb                                                                                        26-Nov-2020 00:03      5M