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

../
coq-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb                                                                                    23-Jul-2023 06:03      8M
coq_8.17.0+dfsg-1+b2_ppc64.buildinfo                                                                                     23-Jul-2023 06:03     17K
coq_8.17.0+dfsg-1+b2_ppc64.deb                                                                                           23-Jul-2023 06:03     74M
coqide-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb                                                                                 23-Jul-2023 06:03    610K
coqide_8.17.0+dfsg-1+b2_ppc64.deb                                                                                        23-Jul-2023 06:03      2M
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb                                                                      23-Jul-2023 06:03      2M
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_ppc64.deb                                                                         23-Jul-2023 06:03     42M
libcoq-core-ocaml_8.17.0+dfsg-1+b2_ppc64.deb                                                                             23-Jul-2023 06:03     22M
libcoq-stdlib_8.17.0+dfsg-1+b2_ppc64.deb                                                                                 23-Jul-2023 06:03     24M