Ubuntu

acl2-books binary package in Ubuntu Yakkety powerpc

  1. Yakkety (16.10)
  2. powerpc
  3. acl2-books

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2016-11-04 18:10:14 UTC Deleted Ubuntu Yakkety powerpc proposed universe math Optional 7.2dfsg-2build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to zesty-proposed

  • Published
  2016-09-27 03:44:46 UTC Superseded Ubuntu Yakkety powerpc proposed universe math Optional 7.2dfsg-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by powerpc build of acl2 7.2dfsg-2build2 in ubuntu yakkety PROPOSED
  • Published
  2018-01-23 00:52:03 UTC Obsolete Ubuntu Yakkety powerpc release universe math Optional 7.2dfsg-2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu yakkety-proposed powerpc in Primary Archive for Ubuntu
  2018-01-23 06:10:09 UTC Deleted Ubuntu Yakkety powerpc proposed universe math Optional 7.2dfsg-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-05-05 04:11:42 UTC Superseded Ubuntu Yakkety powerpc proposed universe math Optional 7.2dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by powerpc build of acl2 7.2dfsg-2 in ubuntu yakkety PROPOSED
  • Published
  2016-04-27 19:57:24 UTC Superseded Ubuntu Yakkety powerpc proposed universe math Optional 7.1dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by powerpc build of acl2 7.2dfsg-1 in ubuntu yakkety PROPOSED
  • Published
  • Copied from ubuntu xenial-proposed powerpc in Primary Archive for Ubuntu
  2016-05-09 02:18:50 UTC Superseded Ubuntu Yakkety powerpc release universe math Optional 7.1-1
  • Removal requested .
  • Superseded by powerpc build of acl2 7.2dfsg-2 in ubuntu yakkety PROPOSED
  • Published
  • Copied from ubuntu wily-proposed powerpc in Primary Archive for Ubuntu