Ubuntu

amd64 build of coq-doc 8.4pl4-1 in ubuntu xenial RELEASE

Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose
amd64 build of coq-doc 8.4pl4-1

created on 2015-12-18

Build status

Failed to build on lcy01-02

Started on 2016-01-12
Finished on 2016-01-12 (took 5 minutes, 18.2 seconds)
buildlog (29.9 KiB)

Build details

Source:: coq-doc - 8.4pl4-1

Archive:: Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose

Series:: Xenial

Architecture:: amd64

Pocket:: Release

Component:: multiverse