| 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 |
| 📄 metamath_0.198-2.debian.tar.xz | 2188 bytes | 2025-12-07 15:55:41 |
| 📄 metamath_0.198-2.dsc | 1209 bytes | 2025-12-07 15:55:41 |
| 📄 metamath_0.198.orig.tar.gz | 468643 bytes | 2025-12-06 21:30:28 |