Ubuntu
alt-ergo package

powerpc build of alt-ergo 0.95.2-1build1 in ubuntu trusty PROPOSED

0.95.2-1build1
powerpc build

created on 2013-12-23

Build status

Successfully built on ross (powerpc)

Started on 2013-12-23
Finished on 2013-12-23 (took 11 minutes, 31.3 seconds)
buildlog (23.7 KiB)
alt-ergo_0.95.2-1build1_powerpc.changes (1.2 KiB)

Build details

Source:: alt-ergo - 0.95.2-1build1

Archive:: Primary Archive for Ubuntu

Series:: Trusty

Architecture:: powerpc

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

alt-ergo_0.95.2-1build1_powerpc.deb (1.3 MiB)
libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb (761.5 KiB)