Ubuntu

s390x build of acl2 8.3dfsg-2 in ubuntu impish RELEASE

Copy archive test-rebuild-20210927-impish for Ubuntu Archive Test Rebuilds
s390x build of acl2 8.3dfsg-2

created on 2021-09-27

Build status

Successfully built on bos02-s390x-020

Started on 2021-09-28
Finished on 2021-09-28 (took 6 hours, 0 minutes, 43.2 seconds)
buildlog (438.2 KiB)
acl2_8.3dfsg-2_s390x.changes (2.0 KiB)
acl2_8.3dfsg-2_s390x.buildinfo (9.7 KiB)

Build details

Source:: acl2 - 8.3dfsg-2

Archive:: Copy archive test-rebuild-20210927-impish for Ubuntu Archive Test Rebuilds

Series:: Impish

Architecture:: s390x

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

acl2-8.3dfsg-2
acl2-books-8.3dfsg-2
acl2-infix-8.3dfsg-2

Built files

Files resulting from this build:

acl2-books_8.3dfsg-2_s390x.deb (270.4 MiB)
acl2-infix_8.3dfsg-2_s390x.deb (555.0 KiB)
acl2_8.3dfsg-2_s390x.deb (25.0 MiB)