Comment 0 for bug 1293125

Errors shown while rebuilding package:
https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5136552

ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: acl2 (not installed)
ProcVersionSignature: Ubuntu 3.13.0-17.37-generic 3.13.6
Uname: Linux 3.13.0-17-generic i686
ApportVersion: 2.13.3-0ubuntu1
Architecture: i386
CurrentDesktop: GNOME
Date: Sun Mar 16 15:30:52 2014
InstallationDate: Installed on 2013-10-25 (142 days ago)
InstallationMedia: Ubuntu 14.04 LTS "Trusty Tahr" - Release i386 (20131021.1)
SourcePackage: acl2
UpgradeStatus: No upgrade log present (probably fresh install)