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

../
coq-dbgsym_8.19.1+dfsg-3_ppc64.deb                                                                                       03-Aug-2024 12:03      8M
coq_8.19.1+dfsg-3_ppc64.buildinfo                                                                                        03-Aug-2024 12:03     17K
coq_8.19.1+dfsg-3_ppc64.deb                                                                                              03-Aug-2024 12:03     78M
coqide-dbgsym_8.19.1+dfsg-3_ppc64.deb                                                                                    03-Aug-2024 12:03    628K
coqide_8.19.1+dfsg-3_ppc64.deb                                                                                           03-Aug-2024 12:03      2M
libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_ppc64.deb                                                                         03-Aug-2024 12:03      2M
libcoq-core-ocaml-dev_8.19.1+dfsg-3_ppc64.deb                                                                            03-Aug-2024 12:03     44M
libcoq-core-ocaml_8.19.1+dfsg-3_ppc64.deb                                                                                03-Aug-2024 12:03     22M
libcoq-stdlib_8.19.1+dfsg-3_ppc64.deb                                                                                    03-Aug-2024 12:03     23M