Edward Z. Yang

i386 build of coq 8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1 in ubuntu trusty RELEASE

Coq (Git trunk)
i386 build of coq 8.5~git~20140726044...

created on 2014-07-26

Build status

Successfully built on wani08 (amd64+qemu)

Started on 2014-07-26
Finished on 2014-07-26 (took 38 minutes, 3.0 seconds)
buildlog (51.7 KiB)
coq_8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1_i386.changes (2.7 KiB)

Build details

Source:: coq - 8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1

Source package recipe build:: private job

Archive:: Coq (Git trunk)

Series:: Trusty

Architecture:: i386

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

coq-8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1
coq-theories-8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1
coqide-8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1
libcoq-ocaml-8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1
libcoq-ocaml-dev-8.5~git~201407260443+15380-0~daily277~ubuntu14.04.1

Built files

Files resulting from this build: