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

../
metamath_0.195-1_amd64.deb                         23-Aug-2026 12:42              343644
metamath_0.195-1_i386.deb                          13-Jan-2026 13:17              349228