amd64 build of matita 0.5.8-2build2 in ubuntu natty RELEASE
created
Build status
Failed to build on plutonium (virtual)
- Started
- Finished (took 14 minutes, 0.3 seconds)
- buildlog (28.1 KiB)
Build details
- Source:
- matita - 0.5.8-2build2
- Series:
- Natty
- Architecture:
- amd64
- Pocket:
- Release
- Component:
- universe