| c | File Name | Size | T | Date |
|---|---|---|---|---|
| - | metamath_0.195-1.debian.tar.xz | 1928 | xz | 2021-01-01 10:43:54 |
| - | metamath_0.195-1.dsc | 1208 | dsc | 2021-01-01 10:43:54 |
| - | metamath_0.195-1_amd64.deb | 343644 | deb | 2021-01-01 11:14:11 |
| - | metamath_0.195-1_i386.deb | 349228 | deb | 2021-01-01 11:14:12 |
| - | metamath_0.195.orig.tar.gz | 466876 | gz | 2021-01-01 10:43:54 |