amd64 build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE

created

Build status

[FULLYBUILT] Successfully built on yellow (amd64)

Build details

Source:
proofgeneral - 3.5-4.1
Archive:
Primary Archive for Ubuntu
Series:
Feisty
Architecture:
amd64
Pocket:
Release
Component:
universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build: