The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu-ports/pool/universe/m/metamath/

../
metamath_0.180-1.debian.tar.xz                     02-Jan-2020 23:13                2088
metamath_0.180-1.dsc                               02-Jan-2020 23:13                1208
metamath_0.180-1_arm64.deb                         02-Jan-2020 23:58              335772
metamath_0.180-1_armhf.deb                         02-Jan-2020 23:58              307476
metamath_0.180.orig.tar.gz                         02-Jan-2020 23:13              444814
metamath_0.195-1.debian.tar.xz                     01-Jan-2021 17:19                1928
metamath_0.195-1.dsc                               01-Jan-2021 17:19                1208
metamath_0.195-1_arm64.deb                         01-Jan-2021 17:35              340472
metamath_0.195-1_armhf.deb                         01-Jan-2021 17:35              315068
metamath_0.195.orig.tar.gz                         01-Jan-2021 17:19              466876
metamath_0.198-2.debian.tar.xz                     08-Dec-2025 00:18                2188
metamath_0.198-2.dsc                               08-Dec-2025 00:18                1209
metamath_0.198-2_arm64.deb                         08-Dec-2025 00:18              453250
metamath_0.198-2_armhf.deb                         08-Dec-2025 00:18              357076
metamath_0.198.orig.tar.gz                         07-Dec-2025 05:34              468643

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.