Index of /debian-ports/pool-powerpc/main/e/eprover/

../
eprover-dbgsym_3.0.03+ds-1_powerpc.deb             12-Dec-2023 18:03              177236
eprover_3.0.03+ds-1_powerpc.buildinfo              12-Dec-2023 18:03                5882
eprover_3.0.03+ds-1_powerpc.deb                    12-Dec-2023 18:03             1164292