matita 0.99.1-3 (powerpc binary) in ubuntu xenial
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.
Details
- Package version:
- 0.99.1-3
- Status:
- Deleted
- Component:
- universe
- Priority:
- Optional
Downloadable files
powerpc build of matita 0.99.1-3 in ubuntu trusty PROPOSED produced
these files:
- matita_0.99.1-3_powerpc.deb (2.1 MiB)