Ubuntu
acl2 package

s390x build of acl2 7.1dfsg-2 in ubuntu xenial PROPOSED

7.1dfsg-2
s390x build

created on 2015-12-04

Build status

Dependency wait on z13-017

Missing build dependencies: gcl (>= 2.6.12-28)
Started on 2016-04-20
Finished on 2016-04-20 (took 2 minutes, 20.5 seconds)
buildlog (10.6 KiB)

Build details

Source:: acl2 - 7.1dfsg-2

Archive:: Primary Archive for Ubuntu

Series:: Xenial

Architecture:: s390x

Pocket:: Proposed

Component:: universe