Ubuntu

boolector binary package in Ubuntu Raring armhf

  1. Raring (13.04)
  2. armhf
  3. boolector

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2015-04-24 12:12:58 UTC Obsolete Ubuntu Raring armhf release universe science Extra 1.5.118.6b56be4.121013-1
  • Removal requested .
  • Published
  • Copied from ubuntu raring-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Raring armhf proposed universe science Extra 1.5.118.6b56be4.121013-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2012-10-29 08:34:44 UTC Superseded Ubuntu Raring armhf release universe science Extra 1.4.ffc2089.100608-1
  • Removal requested .
  • Superseded by armhf build of boolector 1.5.118.6b56be4.121013-1 in ubuntu raring PROPOSED
  • Published
  • Copied from ubuntu precise-release armhf in Primary Archive for Ubuntu