Ubuntu
alt-ergo package

amd64 build of alt-ergo 0.95.1-3 in ubuntu saucy PROPOSED

0.95.1-3
amd64 build

created on 2013-09-02

Build status

Successfully built on allspice (i386/amd64)

Started on 2013-09-02
Finished on 2013-09-02 (took 5 minutes, 2.4 seconds)
buildlog (21.1 KiB)
alt-ergo_0.95.1-3_amd64.changes (1.3 KiB)

Build details

Source:: alt-ergo - 0.95.1-3

Archive:: Primary Archive for Ubuntu

Series:: Saucy

Architecture:: amd64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

alt-ergo_0.95.1-3_amd64.deb (1.8 MiB)
libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb (642.0 KiB)