Ubuntu

haskell-what4-utils binary package in Ubuntu Noble arm64

  1. Noble (24.04)
  2. arm64
  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
  2023-12-19 19:59:39 UTC Published Ubuntu Noble arm64 release universe misc Optional 1.5.1-3
  • Published
  • Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Noble arm64 proposed universe misc Optional 1.5.1-3
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2023-12-19 20:15:22 UTC Superseded Ubuntu Noble arm64 release universe misc Optional 1.3-4build1
  • Removal requested .
  • Superseded by arm64 build of haskell-what4 1.5.1-3 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed arm64 in Primary Archive for Ubuntu

Source package