Ubuntu

acl2 binary package in Ubuntu Utopic armhf

  1. Utopic (14.10)
  2. armhf
  3. acl2

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2016-11-03 06:09:53 UTC Obsolete Ubuntu Utopic armhf release universe math Optional 6.4-4
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu utopic-proposed armhf in Primary Archive for Ubuntu
  2016-11-03 12:10:12 UTC Deleted Ubuntu Utopic armhf proposed universe math Optional 6.4-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2014-05-18 19:48:28 UTC Superseded Ubuntu Utopic armhf release universe math Optional 6.4-3
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of acl2 6.4-4 in ubuntu utopic PROPOSED
  • Published
  • Copied from ubuntu utopic-proposed armhf in Primary Archive for Ubuntu
  2014-05-20 00:10:10 UTC Deleted Ubuntu Utopic armhf proposed universe math Optional 6.4-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2014-05-13 16:43:52 UTC Superseded Ubuntu Utopic armhf release universe math Optional 6.4-2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of acl2 6.4-3 in ubuntu utopic PROPOSED
  • Published
  • Copied from ubuntu utopic-proposed armhf in Primary Archive for Ubuntu
  2014-05-14 18:10:09 UTC Deleted Ubuntu Utopic armhf proposed universe math Optional 6.4-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2014-05-09 01:34:00 UTC Superseded Ubuntu Utopic armhf release universe math Optional 6.3-5
  • Removal requested .
  • Superseded by armhf build of acl2 6.4-2 in ubuntu utopic PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed armhf in Primary Archive for Ubuntu