Ubuntu

amd64 build of coq 8.6-4build3 in ubuntu artful RELEASE

Copy archive test-rebuild-20170922 for Matthias Klose
amd64 build of coq 8.6-4build3

created on 2017-09-22

Build status

Failed to build on lgw01-amd64-048

Started on 2017-09-23
Finished on 2017-09-23 (took 26 minutes, 30.8 seconds)
buildlog (89.0 KiB)

Build details

Source:: coq - 8.6-4build3

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

Series:: Artful

Architecture:: amd64

Pocket:: Release

Component:: universe