Studenten Net Twente Mirror service

Index of /pub/os/linux/ubuntu/pool/universe/m/metamath/

Filename Modification time Size
metamath_0.180-1.debian.tar.xz 2088 B
metamath_0.180-1.dsc 1208 B
metamath_0.180-1_amd64.deb 327 KiB
metamath_0.180.orig.tar.gz 434 KiB
metamath_0.195-1.debian.tar.xz 1928 B
metamath_0.195-1.dsc 1208 B
metamath_0.195-1_amd64.deb 336 KiB
metamath_0.195.orig.tar.gz 456 KiB
metamath_0.198-1.debian.tar.xz 2048 B
metamath_0.198-1.dsc 1209 B
metamath_0.198-1_amd64.deb 405 KiB
metamath_0.198-1_amd64v3.deb 432 KiB
metamath_0.198-2.debian.tar.xz 2188 B
metamath_0.198-2.dsc 1209 B
metamath_0.198-2_amd64.deb 405 KiB
metamath_0.198-2_amd64v3.deb 432 KiB
metamath_0.198.orig.tar.gz 458 KiB