Ubuntu
haskell-presburger package

haskell-presburger 1.3.1-10 source package in Ubuntu

Changelog

haskell-presburger (1.3.1-10) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.2
  * Sourceful upload for GHC 9.4

 -- Ilias Tsitsimpis <email address hidden>  Sat, 02 Sep 2023 16:26:08 +0300

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc

Downloads

File Size SHA-256 Checksum
haskell-presburger_1.3.1-10.dsc 2.3 KiB c9039facc9dda479cbc7f6a8d7dde95df5b0491ffa68a9663cc9963d4d0236c4
haskell-presburger_1.3.1.orig.tar.gz 10.5 KiB 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097
haskell-presburger_1.3.1-10.debian.tar.xz 4.5 KiB 81a17bd7d031225dcb55613ec40eb71eedf92204225726c1ec7cda2389e4aeb2

No changes file available.

Binary packages built by this source

libghc-presburger-dev: decision procedure for quantifier-free linear arithmetic

 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.

libghc-presburger-doc: decision procedure for quantifier-free linear arithmetic; documentation

 The decision procedure is based on the algorithm used in
 CVC4, which is itself based on the Omega test.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-presburger-prof: decision procedure for quantifier-free linear arithmetic; profiling libraries

 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, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.