Public bug reported:

Errors shown while rebuilding package:
https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5136552
https://launchpadlibrarian.net/154525479/buildlog_ubuntu-trusty-arm64.acl2_6.3-5_MANUALDEPWAIT.txt.gz

https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5596289
https://launchpadlibrarian.net/167177456/buildlog_ubuntu-trusty-ppc64el.acl2_6.3-5_MANUALDEPWAIT.txt.gz

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)

** Affects: acl2 (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: apport-bug arm64 i386 ppc64el trusty

** Description changed:

- Errors shown while rebuilding package:  
+ Errors shown while rebuilding package:
  https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5136552
+ https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5596289
  
  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)

** Summary changed:

- [arm64] [ppc64] builders locked due to: Missing build dependencies: gcl
+ [arm64] [ppc64el] builders locked due to: Missing build dependencies: gcl

** Tags added: arm64 ppc64el

** Description changed:

  Errors shown while rebuilding package:
  https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5136552
+ 
https://launchpadlibrarian.net/154525479/buildlog_ubuntu-trusty-arm64.acl2_6.3-5_MANUALDEPWAIT.txt.gz
+ 
  https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5596289
  
  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)

** Description changed:

  Errors shown while rebuilding package:
  https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5136552
  
https://launchpadlibrarian.net/154525479/buildlog_ubuntu-trusty-arm64.acl2_6.3-5_MANUALDEPWAIT.txt.gz
  
  https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5596289
+ 
https://launchpadlibrarian.net/167177456/buildlog_ubuntu-trusty-ppc64el.acl2_6.3-5_MANUALDEPWAIT.txt.gz
  
  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)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1293125

Title:
  [arm64] [ppc64el] builders locked due to: Missing build dependencies:
  gcl

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/acl2/+bug/1293125/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to