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

created on 2018-12-21

Build status

[FULLYBUILT] Successfully built on lgw01-amd64-029

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: