Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “metamath” in ubuntu groovy
Groovy (20.10)
metamath
No summary available for metamath in ubuntu groovy.
No description available for metamath in ubuntu groovy.
Source package
metamath 0.180-1 source package in Ubuntu
Published versions
metamath 0.180-1 in amd64 (Release)
metamath 0.180-1 in arm64 (Release)
metamath 0.180-1 in armhf (Release)
metamath 0.180-1 in ppc64el (Release)
metamath 0.180-1 in riscv64 (Release)
metamath 0.180-1 in s390x (Release)