Ubuntu

libghc-what4-dev binary package in Ubuntu Lunar armhf

  1. Lunar (23.04)
  2. armhf
  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, 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
  2022-12-28 04:09:00 UTC Published Ubuntu Lunar armhf release universe haskell Optional 1.3-4build1
  • Published
  • Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar armhf proposed universe haskell Optional 1.3-4build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published

Source package