Ubuntu
coq package

s390x build of coq 8.5-1 in ubuntu xenial PROPOSED

8.5-1
s390x build

created on 2016-01-26

Build status

Failed to build on z13-017

Started on 2016-01-26
Finished on 2016-01-27 (took 1 hour, 53 minutes, 28.9 seconds)
buildlog (48.5 KiB)

Build details

Source:: coq - 8.5-1

Archive:: Primary Archive for Ubuntu

Series:: Xenial

Architecture:: s390x

Pocket:: Proposed

Component:: universe