Ubuntu

amd64 build of coq-doc 8.6-1 in ubuntu focal RELEASE

Copy archive test-rebuild-20200327-focal-gcc10 for Matthias Klose
amd64 build of coq-doc 8.6-1

created on 2020-03-27

Build status

Failed to build on lgw01-amd64-058

Started on 2020-04-13
Finished on 2020-04-13 (took 4 minutes, 14.3 seconds)
buildlog (28.0 KiB)

Build details

Source:: coq-doc - 8.6-1

Archive:: Copy archive test-rebuild-20200327-focal-gcc10 for Matthias Klose

Series:: Focal

Architecture:: amd64

Pocket:: Release

Component:: multiverse