|
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
|---|
Index of /ubuntu/pool/universe/m/metamath
| File | Last Modified | Size |
|---|---|---|
| 📂 Parent Directory | ||
| 📄 metamath_0.180-1.debian.tar.xz | 2020-01-02 23:13:19 | 2.04 KB |
| 📄 metamath_0.180-1.dsc | 2020-01-02 23:13:18 | 1.18 KB |
| 📄 metamath_0.180-1_amd64.deb | 2020-01-02 23:58:21 | 327.3 KB |
| 📄 metamath_0.180.orig.tar.gz | 2020-01-02 23:13:18 | 434.39 KB |
| 📄 metamath_0.195-1.debian.tar.xz | 2021-01-01 17:19:56 | 1.88 KB |
| 📄 metamath_0.195-1.dsc | 2021-01-01 17:19:56 | 1.18 KB |
| 📄 metamath_0.195-1_amd64.deb | 2021-01-01 17:34:51 | 335.74 KB |
| 📄 metamath_0.195.orig.tar.gz | 2021-01-01 17:19:56 | 455.93 KB |
| 📄 metamath_0.198-2.debian.tar.xz | 2025-12-08 00:18:17 | 2.14 KB |
| 📄 metamath_0.198-2.dsc | 2025-12-08 00:18:17 | 1.18 KB |
| 📄 metamath_0.198-2_amd64.deb | 2025-12-08 00:18:39 | 404.77 KB |
| 📄 metamath_0.198-2_amd64v3.deb | 2025-12-08 00:18:47 | 432.09 KB |
| 📄 metamath_0.198.orig.tar.gz | 2025-12-07 05:34:57 | 457.66 KB |