ftp.ntua.gr:/mirror/ubuntu/pool/universe/m/metamath/
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory - [   ] metamath_0.180-1.debian.tar.xz 03-Jan-2020 01:13 2.0K [   ] metamath_0.180-1.dsc 03-Jan-2020 01:13 1.2K [   ] metamath_0.180-1_amd64.deb 03-Jan-2020 01:58 327K [   ] metamath_0.180.orig.tar.gz 03-Jan-2020 01:13 434K [   ] metamath_0.183-1.debian.tar.xz 13-Jul-2020 02:23 1.8K [   ] metamath_0.183-1.dsc 13-Jul-2020 02:23 1.2K [   ] metamath_0.183-1_amd64.deb 13-Jul-2020 02:38 323K [   ] metamath_0.183.orig.tar.gz 13-Jul-2020 02:23 437K [   ] metamath_0.195-1.debian.tar.xz 01-Jan-2021 19:19 1.9K [   ] metamath_0.195-1.dsc 01-Jan-2021 19:19 1.2K [   ] metamath_0.195-1_amd64.deb 01-Jan-2021 19:34 336K [   ] metamath_0.195.orig.tar.gz 01-Jan-2021 19:19 456K
Apache/2.2 Server at ftp.ntua.gr Port 80