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