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

../
metamath-dbgsym_0.195-1_loong64.deb                02-Jul-2023 09:24    482K
metamath_0.195-1_loong64.deb                       02-Jul-2023 09:24    328K