Ubuntu

libz3-dev binary package in Ubuntu Lunar s390x

  1. Lunar (23.04)
  2. s390x
  3. libz3-dev

 Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 .
 This package can be used to invoke Z3 via its C++ API.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-02-06 01:14:19 UTC Published Ubuntu Lunar s390x release universe libdevel Extra 4.8.12-3.1
  • Published
  • Copied from ubuntu lunar-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar s390x proposed universe libdevel Extra 4.8.12-3.1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-02-06 01:15:42 UTC Superseded Ubuntu Lunar s390x release universe libdevel Extra 4.8.12-3
  • Removed from disk .
  • Removal requested .
  • Superseded by s390x build of z3 4.8.12-3.1 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed s390x in Primary Archive for Ubuntu
  2023-02-07 06:10:11 UTC Deleted Ubuntu Lunar s390x proposed universe libdevel Extra 4.8.12-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-11-19 18:02:16 UTC Superseded Ubuntu Lunar s390x release universe libdevel Extra 4.8.12-1
  • Removal requested .
  • Superseded by s390x build of z3 4.8.12-3 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu impish-proposed s390x in Primary Archive for Ubuntu

Source package