Edward Z. Yang

i386 build of coq 8.5~git-0~15627~ubuntu12.04.1 in ubuntu precise RELEASE

Coq (Git trunk)
i386 build of coq 8.5~git-0~15627~ubu...

created on 2014-08-30

Build status

Successfully built on lcy01-13

Started on 2014-08-30
Finished on 2014-08-30 (took 24 minutes, 5.5 seconds)
buildlog (90.6 KiB)
coq_8.5~git-0~15627~ubuntu12.04.1_i386.changes (2.4 KiB)

Build details

Source:: coq - 8.5~git-0~15627~ubuntu12.04.1

Source package recipe build:: private job

Archive:: Coq (Git trunk)

Series:: Precise

Architecture:: i386

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

coq-8.5~git-0~15627~ubuntu12.04.1
coq-theories-8.5~git-0~15627~ubuntu12.04.1
coqide-8.5~git-0~15627~ubuntu12.04.1
libcoq-ocaml-8.5~git-0~15627~ubuntu12.04.1
libcoq-ocaml-dev-8.5~git-0~15627~ubuntu12.04.1

Built files

Files resulting from this build: