| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 metamath_0.195-1.debian.tar.xz | 1928 bytes | 2021-01-01 10:43:54 |
| 📄 metamath_0.195-1.dsc | 1208 bytes | 2021-01-01 10:43:54 |
| 📄 metamath_0.195-1_armhf.deb | 286516 bytes | 2021-01-06 10:08:10 |
| 📄 metamath_0.195.orig.tar.gz | 466876 bytes | 2021-01-01 10:43:54 |