| Name ↑ | Last modified | Size | ||
|---|---|---|---|---|
| Parent Directory | - | - | ||
| metamath_0.195-1.debian.tar.xz | 01-Jan-2021 10:43 | 1.9 KiB | ||
| metamath_0.195-1.dsc | 01-Jan-2021 10:43 | 1.2 KiB | ||
| metamath_0.195-1_amd64.deb | 01-Jan-2021 11:14 | 336 KiB | ||
| metamath_0.195-1_i386.deb | 01-Jan-2021 11:14 | 341 KiB | ||
| metamath_0.195.orig.tar.gz | 01-Jan-2021 10:43 | 456 KiB | ||
| metamath_0.198-2.debian.tar.xz | 07-Dec-2025 15:55 | 2.1 KiB | ||
| metamath_0.198-2.dsc | 07-Dec-2025 15:55 | 1.2 KiB | ||
| metamath_0.198-2_amd64.deb | 07-Dec-2025 16:15 | 350 KiB | ||
| metamath_0.198-2_i386.deb | 07-Dec-2025 16:15 | 355 KiB | ||
| metamath_0.198.orig.tar.gz | 06-Dec-2025 21:30 | 458 KiB | ||