Index of /pool/universe/m/metamath/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
 metamath_0.180-1.debian.tar.xz | 2020-01-02 23:13 | 3k |
| metamath_0.180-1.dsc | 2020-01-02 23:13 | 2k |
| metamath_0.180-1_amd64.deb | 2020-01-02 23:58 | 328k |
| metamath_0.180.orig.tar.gz | 2020-01-02 23:13 | 435k |
| metamath_0.195-1.debian.tar.xz | 2021-01-01 17:19 | 2k |
| metamath_0.195-1.dsc | 2021-01-01 17:19 | 2k |
| metamath_0.195-1_amd64.deb | 2021-01-01 17:34 | 336k |
| metamath_0.195.orig.tar.gz | 2021-01-01 17:19 | 456k |