Directory: /debian/pool/main/m/metamath/
| Name | Size | Modified |
|---|---|---|
| Parent directory | — | — |
| metamath_0.195-1.debian.tar.xz | 1.89K | Fri Jan 01 2021 |
| metamath_0.195-1.dsc | 1.18K | Fri Jan 01 2021 |
| metamath_0.195-1_amd64.deb | 336K | Fri Jan 01 2021 |
| metamath_0.195-1_i386.deb | 342K | Fri Jan 01 2021 |
| metamath_0.195.orig.tar.gz | 456K | Fri Jan 01 2021 |
| metamath_0.198-2.debian.tar.xz | 2.14K | Sun Dec 07 2025 |
| metamath_0.198-2.dsc | 1.19K | Sun Dec 07 2025 |
| metamath_0.198-2_amd64.deb | 350K | Sun Dec 07 2025 |
| metamath_0.198-2_i386.deb | 356K | Sun Dec 07 2025 |
| metamath_0.198.orig.tar.gz | 458K | Sun Dec 07 2025 |