Ubuntu

libghc-what4-dev binary package in Ubuntu Noble arm64

  1. Noble (24.04)
  2. arm64
  3. libghc-what4-dev

 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.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

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 haskell Optional 1.5.1-3
  • Published
  • Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Noble arm64 proposed universe haskell 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 haskell 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