Ubuntu

s390x build of acl2 7.4dfsg-3.1 in ubuntu bionic RELEASE

Copy archive test-rebuild-20171220 for Matthias Klose
s390x build of acl2 7.4dfsg-3.1

created on 2017-12-21

Build status

Successfully built on bos02-s390x-016

Started on 2017-12-23
Finished on 2017-12-23 (took 3 hours, 19 minutes, 27.7 seconds)
buildlog (370.1 KiB)
acl2_7.4dfsg-3.1_s390x.changes (2.4 KiB)
acl2_7.4dfsg-3.1_s390x.buildinfo (9.3 KiB)

Build details

Source:: acl2 - 7.4dfsg-3.1

Archive:: Copy archive test-rebuild-20171220 for Matthias Klose

Series:: Bionic

Architecture:: s390x

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

acl2-7.4dfsg-3.1
acl2-books-7.4dfsg-3.1
acl2-infix-7.4dfsg-3.1

Built files

Files resulting from this build: