Ubuntu

arm64 build of acl2 8.2dfsg-3build1 in ubuntu focal RELEASE

Copy archive test-rebuild-20200327-focal-gcc10 for Matthias Klose
arm64 build of acl2 8.2dfsg-3build1

created on 2020-03-27

Build status

Successfully built on bos02-arm64-042

Started on 2020-04-06
Finished on 2020-04-07 (took 1 day, 0 hours, 57 minutes, 34.5 seconds)
buildlog (337.1 KiB)
acl2_8.2dfsg-3build1_arm64.changes (1.8 KiB)
acl2_8.2dfsg-3build1_arm64.buildinfo (9.8 KiB)

Build details

Source:: acl2 - 8.2dfsg-3build1

Archive:: Copy archive test-rebuild-20200327-focal-gcc10 for Matthias Klose

Series:: Focal

Architecture:: arm64

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

acl2-8.2dfsg-3build1
acl2-books-8.2dfsg-3build1
acl2-infix-8.2dfsg-3build1

Built files

Files resulting from this build: