metamath_0.198-2.debian.tar.xz
metamath_0.198-2.dsc
metamath_0.198-2_amd64.deb
metamath_0.198-2_i386.deb
metamath_0.198.orig.tar.gz