Edgemaster

amd64 build of camlp5 6.12-1~ppa1 in ubuntu precise RELEASE

coq-ocaml42
amd64 build of camlp5 6.12-1~ppa1

created on 2015-01-06

Build status

Successfully built on lgw01-14

Started on 2015-01-06
Finished on 2015-01-06 (took 6 minutes, 4.0 seconds)
buildlog (24.4 KiB)
camlp5_6.12-1~ppa1_amd64.changes (744 bytes)

Build details

Source:: camlp5 - 6.12-1~ppa1

Archive:: coq-ocaml42

Series:: Precise

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

camlp5-6.12-1~ppa1

Built files

Files resulting from this build:

camlp5_6.12-1~ppa1_amd64.deb (5.0 MiB)