Ubuntu

haskell-what4-utils binary package in Ubuntu Oracular s390x

  1. Oracular (24.10)
  2. s390x
  3. haskell-what4-utils

 What4 is a generic library for representing values as symbolic formulae which
 may contain references to symbolic values, representing unknown variables.
 It provides support for communicating with a variety of SAT and SMT solvers,
 including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
 The data representation types make heavy use of GADT-style type indices
 to ensure type-correct manipulation of symbolic values.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-05-22 00:24:54 UTC Published Ubuntu Oracular s390x release universe misc Optional 1.5.1-3build1
  • Published
  • Copied from ubuntu oracular-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Oracular s390x proposed universe misc Optional 1.5.1-3build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-05-22 00:33:09 UTC Superseded Ubuntu Oracular s390x release universe misc Optional 1.5.1-3
  • Removal requested .
  • Superseded by s390x build of haskell-what4 1.5.1-3build1 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu

Source package