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

../
coq-reduction-effects_0.1.4-4+b2_ppc64.buildinfo                                                                         24-Jul-2023 06:03    7422
libcoq-reduction-effects-dbgsym_0.1.4-4+b2_ppc64.deb                                                                     24-Jul-2023 06:03    2840
libcoq-reduction-effects_0.1.4-4+b2_ppc64.deb                                                                            24-Jul-2023 06:03     15K