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               29820
libcoq-quickchick_2.0-2+b1_ppc64.deb               24-Jul-2023 06:03             1826140
quickchick_2.0-2+b1_ppc64.deb                      24-Jul-2023 06:03               56676