Ubuntu

z3 binary package in Ubuntu Cosmic amd64

  1. Cosmic (18.10)
  2. amd64
  3. z3

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-07-13 02:35:12 UTC Obsolete Ubuntu Cosmic amd64 release universe science Extra 4.4.1-0.4
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
  2020-07-14 12:10:11 UTC Deleted Ubuntu Cosmic amd64 proposed universe science Extra 4.4.1-0.4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-09-13 06:03:25 UTC Superseded Ubuntu Cosmic amd64 release universe science Extra 4.4.1-0.3build4
  • Removal requested .
  • Superseded by amd64 build of z3 4.4.1-0.4 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu