Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “matita” in ubuntu xenial
Xenial (16.04)
matita
No summary available for matita in ubuntu xenial.
No description available for matita in ubuntu xenial.
Source package
matita 0.99.1-3 source package in Ubuntu
Published versions
matita 0.99.1-3 in amd64 (Release)
matita 0.99.1-3 in arm64 (Release)
matita 0.99.1-3 in armhf (Release)
matita 0.99.1-3 in i386 (Release)
matita 0.99.1-3 in powerpc (Release)
matita 0.99.1-3 in ppc64el (Release)