armhf build of matita 0.99.1-3 in ubuntu trusty PROPOSED

created

Build status

[FULLYBUILT] Successfully built on kishi09 (highbank)

Build details

Source:
matita - 0.99.1-3
Archive:
Primary Archive for Ubuntu
Series:
Trusty
Architecture:
armhf
Pocket:
Proposed
Component:
universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build: