| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 metamath_0.180-1.debian.tar.xz | 2088 bytes | 2020-01-02 23:13:19 |
| 📄 metamath_0.180-1.dsc | 1208 bytes | 2020-01-02 23:13:18 |
| 📄 metamath_0.180-1_amd64.deb | 335160 bytes | 2020-01-02 23:58:21 |
| 📄 metamath_0.180.orig.tar.gz | 444814 bytes | 2020-01-02 23:13:18 |
| 📄 metamath_0.195-1.debian.tar.xz | 1928 bytes | 2021-01-01 17:19:56 |
| 📄 metamath_0.195-1.dsc | 1208 bytes | 2021-01-01 17:19:56 |
| 📄 metamath_0.195-1_amd64.deb | 343800 bytes | 2021-01-01 17:34:51 |
| 📄 metamath_0.195.orig.tar.gz | 466876 bytes | 2021-01-01 17:19:56 |