coq binary package in Ubuntu Utopic arm64

Publishing history

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

    moved to release

  • Published
  2014-08-15 10:58:55 UTC Superseded Ubuntu Utopic arm64 release universe math Optional 8.4pl3dfsg-1
  • Removal requested .
  • Superseded by arm64 build of coq 8.4pl4dfsg-1 in ubuntu utopic PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed arm64 in Primary Archive for Ubuntu