Index of /mirror/archive.ubuntu.com/ubuntu/pool/universe/m/metamath/

../
metamath_0.198-2_amd64.deb                         08-Dec-2025 02:18              414482
metamath_0.198-2_arm64.deb                         08-Dec-2025 02:18              453250