Ubuntu

libghc-presburger-dev binary package in Ubuntu Focal riscv64

  1. Focal (20.04)
  2. riscv64
  3. libghc-presburger-dev

 The decision procedure is based on the algorithm used in
 CVC4, which is itself based on the Omega test.
 .
 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
  2020-04-08 07:38:46 UTC Published Ubuntu Focal riscv64 release universe haskell Extra 1.3.1-7
  • Published

Source package