Ubuntu

why3 binary package in Ubuntu Cosmic i386

  1. Cosmic (18.10)
  2. i386
  3. why3

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-11-10 18:10:09 UTC Deleted Ubuntu Cosmic i386 proposed universe math Optional 1.0.0-2.1~build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to disco-proposed

  • Published
  2018-08-17 08:23:26 UTC Superseded Ubuntu Cosmic i386 proposed universe math Optional 1.0.0-2ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of why3 1.0.0-2.1~build1 in ubuntu cosmic PROPOSED
  • Published
  2018-08-16 19:58:36 UTC Superseded Ubuntu Cosmic i386 proposed universe math Optional 1.0.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of why3 1.0.0-2ubuntu1 in ubuntu cosmic PROPOSED
  • Published
  2018-08-16 18:18:21 UTC Superseded Ubuntu Cosmic i386 proposed universe math Optional 1.0.0-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of why3 1.0.0-2 in ubuntu cosmic PROPOSED
  • Published
  2020-07-13 02:35:12 UTC Obsolete Ubuntu Cosmic i386 release universe math Optional 0.88.3-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu cosmic-proposed i386 in Primary Archive for Ubuntu
  2020-07-14 12:10:11 UTC Deleted Ubuntu Cosmic i386 proposed universe math Optional 0.88.3-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-06-04 14:28:22 UTC Superseded Ubuntu Cosmic i386 proposed universe math Optional 0.88.3-2ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of why3 0.88.3-3ubuntu1 in ubuntu cosmic PROPOSED
  • Published
  2018-06-04 16:23:16 UTC Superseded Ubuntu Cosmic i386 release universe math Optional 0.88.3-1ubuntu4
  • Removal requested .
  • Superseded by i386 build of why3 0.88.3-3ubuntu1 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed i386 in Primary Archive for Ubuntu