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

      Name                    Last modified       Size  Description

[DIR] Parent Directory 23-Nov-2020 23:00 - [   ] metamath_0.183-1.deb..> 12-Jul-2020 18:08 2k [TXT] metamath_0.183-1.dsc 12-Jul-2020 18:08 1k [TXT] metamath_0.183-1_amd..> 12-Jul-2020 18:28 323k [TXT] metamath_0.183-1_arm..> 12-Jul-2020 18:28 323k [TXT] metamath_0.183-1_arm..> 12-Jul-2020 18:43 304k [TXT] metamath_0.183-1_arm..> 12-Jul-2020 18:28 297k [TXT] metamath_0.183-1_i38..> 12-Jul-2020 18:43 330k [TXT] metamath_0.183-1_mip..> 12-Jul-2020 18:43 336k [TXT] metamath_0.183-1_mip..> 12-Jul-2020 18:43 337k [TXT] metamath_0.183-1_ppc..> 12-Jul-2020 18:28 370k [TXT] metamath_0.183-1_s39..> 12-Jul-2020 18:43 292k [   ] metamath_0.183.orig...> 12-Jul-2020 18:08 437k

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