Ubuntu

ppc64el build of coq 8.6-5build1 in ubuntu eoan RELEASE

Copy archive test-rebuild-20190614 for Matthias Klose
ppc64el build of coq 8.6-5build1

created on 2019-06-14

Build status

Successfully built on bos02-ppc64el-012

Started on 2019-06-30
Finished on 2019-06-30 (took 31 minutes, 18.6 seconds)
buildlog (153.5 KiB)
coq_8.6-5build1_ppc64el.changes (2.4 KiB)
coq_8.6-5build1_ppc64el.buildinfo (13.7 KiB)

Build details

Source:: coq - 8.6-5build1

Archive:: Copy archive test-rebuild-20190614 for Matthias Klose

Series:: Eoan

Architecture:: ppc64el

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

coq-8.6-5build1
coq-theories-8.6-5build1
coqide-8.6-5build1
libcoq-ocaml-8.6-5build1
libcoq-ocaml-dev-8.6-5build1

Built files

Files resulting from this build: