Ubuntu

arm64 build of coq 8.4pl4dfsg-1 in ubuntu wily RELEASE

Copy archive test-rebuild-20151028-arm64 for Colin Watson
arm64 build of coq 8.4pl4dfsg-1

created on 2015-10-28

Build status

Successfully built on bos01-arm64-001

Started on 2015-10-29
Finished on 2015-10-29 (took 3 hours, 41 minutes, 37.2 seconds)
buildlog (72.0 KiB)
coq_8.4pl4dfsg-1_arm64.changes (2.3 KiB)

Build details

Source:: coq - 8.4pl4dfsg-1

Archive:: Copy archive test-rebuild-20151028-arm64 for Colin Watson

Series:: Wily

Architecture:: arm64

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

coq-8.4pl4dfsg-1
coq-theories-8.4pl4dfsg-1
coqide-8.4pl4dfsg-1
libcoq-ocaml-8.4pl4dfsg-1
libcoq-ocaml-dev-8.4pl4dfsg-1

Built files

Files resulting from this build: