Directory listing of http://mirror.biznetgio.com/ubuntu/pool/universe/m/metamath
mirror.biznetgio.com
/
ubuntu
/
pool
/
universe
/
m
/
metamath
File
Size
Last Modified
..
-
2025-09-05 10:47:19
metamath_0.180-1.debian.tar.xz
2.04KB
2020-01-02 23:13:19
metamath_0.180-1.dsc
1.18KB
2020-01-02 23:13:18
metamath_0.180-1_amd64.deb
327.30KB
2020-01-02 23:58:21
metamath_0.180.orig.tar.gz
434.39KB
2020-01-02 23:13:18
metamath_0.195-1.debian.tar.xz
1.88KB
2021-01-01 17:19:56
metamath_0.195-1.dsc
1.18KB
2021-01-01 17:19:56
metamath_0.195-1_amd64.deb
335.74KB
2021-01-01 17:34:51
metamath_0.195.orig.tar.gz
455.93KB
2021-01-01 17:19:56