Ubuntu

libghc-simple-smt-doc binary package in Ubuntu Bionic amd64

  1. Bionic (18.04)
  2. amd64
  3. libghc-simple-smt-doc

 This package provides a simple way to interact with an SMT solver process,
 using the SmtLib-2 format.
 .
 This package provides the documentation for 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
  2017-10-24 21:55:24 UTC Published Ubuntu Bionic amd64 release universe doc Extra 0.6.0-3build1
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu

Source package