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

../
coq-quickchick_2.0-2+b1_ppc64.buildinfo                                                                                  24-Jul-2023 06:03    7862
libcoq-quickchick-dbgsym_2.0-2+b1_ppc64.deb                                                                              24-Jul-2023 06:03     29K
libcoq-quickchick_2.0-2+b1_ppc64.deb                                                                                     24-Jul-2023 06:03      2M
quickchick_2.0-2+b1_ppc64.deb                                                                                            24-Jul-2023 06:03     55K