Ubuntu
why3 package

s390x build of why3 0.87.3-2build2 in ubuntu artful PROPOSED

0.87.3-2build2
s390x build

created on 2017-07-03

Build status

Failed to build on z13-023

Started on 2017-07-10
Finished on 2017-07-10 (took 1 minute, 36.0 seconds)
buildlog (7.7 KiB)

Build details

Source:: why3 - 0.87.3-2build2

Archive:: Primary Archive for Ubuntu

Series:: Artful

Architecture:: s390x

Pocket:: Proposed

Component:: universe