Index of /debian/pool/main/m/metamath-databases

      Name                    Last modified       Size  Description

[DIR] Parent Directory 23-Nov-2020 23:00 - [   ] metamath-databases_0..> 15-Jul-2020 19:39 3k [TXT] metamath-databases_0..> 15-Jul-2020 19:39 1k [TXT] metamath-databases_0..> 15-Jul-2020 19:39 11.6M [   ] metamath-databases_0..> 15-Jul-2020 19:39 11.5M

Apache/1.3.26 Server at ftp.uni-bayreuth.de Port 80