Jason Gross

amd64 build of camlp5 6.16-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE

Coq backports
amd64 build of camlp5 6.16-1~ubuntu12...

created on 2016-06-22

Build status

Successfully built on lcy01-34

Started on 2016-06-22
Finished on 2016-06-22 (took 6 minutes, 5.3 seconds)
buildlog (27.9 KiB)
camlp5_6.16-1~ubuntu12.04.1~ppa1_amd64.changes (820 bytes)

Build details

Source:: camlp5 - 6.16-1~ubuntu12.04.1~ppa1

Archive:: Coq backports

Series:: Precise

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

camlp5-6.16-1~ubuntu12.04.1~ppa1

Built files

Files resulting from this build:

camlp5_6.16-1~ubuntu12.04.1~ppa1_amd64.deb (5.0 MiB)