Index of /debian-ports/pool-hurd-amd64/main/m/metamath/

../
metamath-dbgsym_0.195-1_hurd-amd64.deb             25-Jul-2024 00:03    507K
metamath_0.195-1_hurd-amd64.buildinfo              25-Jul-2024 00:03    6027
metamath_0.195-1_hurd-amd64.deb                    25-Jul-2024 00:03    352K