Ubuntu
acl2 package

s390x build of acl2 7.1-1 in ubuntu xenial RELEASE

7.1-1
s390x build

created on 2015-12-03

Build status

Dependency wait on z13-027

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

Build details

Source:: acl2 - 7.1-1

Archive:: Primary Archive for Ubuntu

Series:: Xenial

Architecture:: s390x

Pocket:: Release

Component:: universe