Ubuntu

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

Copy archive test-rebuild-20210325-hirsute for Matthias Klose
amd64 build of coq-doc 8.6-1

created on 2021-03-25

Build status

Failed to build on lgw01-amd64-015

Started on 2021-04-08
Finished on 2021-04-08 (took 7 minutes, 51.2 seconds)
buildlog (35.0 KiB)

Build details

Source:: coq-doc - 8.6-1

Archive:: Copy archive test-rebuild-20210325-hirsute for Matthias Klose

Series:: Hirsute

Architecture:: amd64

Pocket:: Release

Component:: multiverse