Ubuntu

libwhy-coq binary package in Ubuntu Zesty arm64

  1. Zesty (17.04)
  2. arm64
  3. libwhy-coq

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2017-05-04 12:10:11 UTC Deleted Ubuntu Zesty arm64 proposed universe libdevel Optional 2.36-5build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to artful-proposed

  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2017-02-02 07:03:52 UTC Superseded Ubuntu Zesty arm64 proposed universe libdevel Optional 2.36-5build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why 2.36-5build2 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2017-01-09 09:48:17 UTC Superseded Ubuntu Zesty arm64 proposed universe libdevel Optional 2.36-5
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why 2.36-5build1 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2016-12-27 17:28:54 UTC Superseded Ubuntu Zesty arm64 proposed universe libdevel Optional 2.36-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why 2.36-5 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2016-12-27 17:23:56 UTC Superseded Ubuntu Zesty arm64 proposed universe libdevel Optional 2.36-3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why 2.36-3build1 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2016-12-21 21:25:49 UTC Superseded Ubuntu Zesty arm64 proposed universe libdevel Optional 2.36-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why 2.36-3 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu