Ubuntu
proofgeneral package

powerpc build of proofgeneral 3.5-4 in ubuntu feisty RELEASE

  1. 3.5-4
  2. powerpc build
created

Build status

[SUPERSEDED] Build for superseded Source

Build details

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