Index of /ubuntu-ports/pool/universe/m/metamath/

../
metamath_0.195-1.debian.tar.xz                     31-Aug-2023 00:29                1928
metamath_0.195-1.dsc                               31-Aug-2023 00:29                1208
metamath_0.195-1_arm64.deb                         31-Aug-2023 00:29              340472
metamath_0.195.orig.tar.gz                         31-Aug-2023 00:29              466876