frama-c-base binary package in Ubuntu Zesty amd64

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2017-06-03 00:10:17 UTC Deleted Ubuntu Zesty amd64 proposed universe devel Extra 20161101+silicon+dfsg-5
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to artful-proposed

  • Published
  2017-01-15 17:24:26 UTC Superseded Ubuntu Zesty amd64 proposed universe devel Extra 20161101+silicon+dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of frama-c 20161101+silicon+dfsg-5 in ubuntu zesty PROPOSED
  • Published
  2017-01-01 23:18:51 UTC Superseded Ubuntu Zesty amd64 proposed universe devel Extra 20161101+silicon+dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of frama-c 20161101+silicon+dfsg-4 in ubuntu zesty PROPOSED
  • Published
  2017-01-01 05:43:33 UTC Superseded Ubuntu Zesty amd64 proposed universe devel Extra 20161101+silicon+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of frama-c 20161101+silicon+dfsg-3 in ubuntu zesty PROPOSED
  • Published
  2018-06-22 04:55:56 UTC Obsolete Ubuntu Zesty amd64 release universe devel Extra 20151002+magnesium+dfsg-1build2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu