| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| metamath_0.180-1_amd64.deb | 02/01/20 23:5802/01/20 | 327 KiB | [Save][Download] |
| metamath_0.195-1_amd64.deb | 01/01/21 17:3401/01/21 | 336 KiB | [Save][Download] |
| 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.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.orig.tar.gz | 01/01/21 17:1901/01/21 | 456 KiB | [Save][Download] |
| metamath_0.198-2.debian.tar.xz | 08/12/25 00:1808/12/25 | 2.1 KiB | [Save][Download] |
| metamath_0.198-2.dsc | 08/12/25 00:1808/12/25 | 1.2 KiB | [Save][Download] |
| metamath_0.198-2_amd64.deb | 08/12/25 00:1808/12/25 | 405 KiB | [Save][Download] |
| metamath_0.198-2_amd64v3.deb | 08/12/25 00:1808/12/25 | 432 KiB | [Save][Download] |
| metamath_0.198.orig.tar.gz | 07/12/25 05:3407/12/25 | 458 KiB | [Save][Download] |