Ubuntu

why3 binary package in Ubuntu Disco amd64

  1. Disco (19.04)
  2. amd64
  3. why3

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2019-07-26 00:10:09 UTC Deleted Ubuntu Disco amd64 proposed universe math Optional 1.2.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    moved to eoan-proposed

  • Published
  2019-02-16 05:33:26 UTC Superseded Ubuntu Disco amd64 proposed universe math Optional 1.1.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 1.2.0-1 in ubuntu disco PROPOSED
  • Published
  2019-02-07 18:14:03 UTC Superseded Ubuntu Disco amd64 proposed universe math Optional 1.1.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 1.1.1-4 in ubuntu disco PROPOSED
  • Published
  2019-01-11 05:28:26 UTC Superseded Ubuntu Disco amd64 proposed universe math Optional 1.1.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 1.1.1-2 in ubuntu disco PROPOSED
  • Published
  2018-12-18 17:28:41 UTC Superseded Ubuntu Disco amd64 proposed universe math Optional 1.1.0-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 1.1.1-1 in ubuntu disco PROPOSED
  • Published
  2018-11-25 15:48:23 UTC Superseded Ubuntu Disco amd64 proposed universe math Optional 1.1.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 1.1.0-1build1 in ubuntu disco PROPOSED
  • Published
  2018-11-09 16:03:02 UTC Superseded Ubuntu Disco amd64 proposed universe math Optional 1.0.0-2.1~build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 1.1.0-1 in ubuntu disco PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
  2020-07-14 06:39:25 UTC Obsolete Ubuntu Disco amd64 release universe math Optional 0.88.3-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu