Ubuntu

i386 build of acl2 8.0dfsg-1 in ubuntu bionic RELEASE

Copy archive test-rebuild-20181222 for Matthias Klose
i386 build of acl2 8.0dfsg-1

created on 2018-12-21

Build status

Successfully built on lgw01-amd64-029

Started on 2019-01-22
Finished on 2019-01-22 (took 18 hours, 6 minutes, 23.9 seconds)
buildlog (365.1 KiB)
acl2_8.0dfsg-1_i386.changes (2.3 KiB)

Build details

Source:: acl2 - 8.0dfsg-1

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

Series:: Bionic

Architecture:: i386

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

acl2-8.0dfsg-1
acl2-books-8.0dfsg-1
acl2-infix-8.0dfsg-1

Built files

Files resulting from this build:

acl2-books_8.0dfsg-1_i386.deb (113.9 MiB)
acl2-infix_8.0dfsg-1_i386.deb (383.5 KiB)
acl2_8.0dfsg-1_i386.deb (16.7 MiB)