| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| metamath_0.180-1.debian.tar.xz | 02/01/20 23:1302/01/20 | 2 KiB | [Save][Download] |
| metamath_0.180-1.dsc | 02/01/20 23:1302/01/20 | 1.2 KiB | [Save][Download] |
| metamath_0.180-1_amd64.deb | 02/01/20 23:5802/01/20 | 327 KiB | [Save][Download] |
| metamath_0.180.orig.tar.gz | 02/01/20 23:1302/01/20 | 434 KiB | [Save][Download] |
| metamath_0.195-1.debian.tar.xz | 01/01/21 17:1901/01/21 | 1.9 KiB | [Save][Download] |
| metamath_0.195-1.dsc | 01/01/21 17:1901/01/21 | 1.2 KiB | [Save][Download] |
| metamath_0.195-1_amd64.deb | 01/01/21 17:3401/01/21 | 336 KiB | [Save][Download] |
| metamath_0.195.orig.tar.gz | 01/01/21 17:1901/01/21 | 456 KiB | [Save][Download] |