Edward Z. Yang

amd64 build of coq 8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1 in ubuntu trusty RELEASE

Coq (Git trunk)
amd64 build of coq 8.5~git~2014082910...

created on 2014-08-29

Build status

Successfully built on lcy01-27

Started on 2014-08-29
Finished on 2014-08-29 (took 55 minutes, 5.9 seconds)
buildlog (75.9 KiB)
coq_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.changes (2.4 KiB)

Build details

Source:: coq - 8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1

Source package recipe build:: private job

Archive:: Coq (Git trunk)

Series:: Trusty

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

coq-8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1
coqide-8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1
libcoq-ocaml-8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1
libcoq-ocaml-dev-8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1

Built files

Files resulting from this build: