Edward Z. Yang

i386 build of coq 8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1 in ubuntu utopic RELEASE

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

created on 2014-07-26

Build status

Successfully built on chindi01 (amd64+qemu)

Started on 2014-07-26
Finished on 2014-07-26 (took 31 minutes, 45.8 seconds)
buildlog (50.1 KiB)
coq_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.changes (2.7 KiB)

Build details

Source:: coq - 8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1

Source package recipe build:: private job

Archive:: Coq (Git trunk)

Series:: Utopic

Architecture:: i386

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

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

Built files

Files resulting from this build: