Ubuntu
haskell-presburger package

haskell-presburger 1.3.1-9 source package in Ubuntu

Changelog

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

  * Declare compliance with Debian policy 4.6.1
  * Sourceful upload for GHC 9.0.2

 -- Ilias Tsitsimpis <email address hidden>  Wed, 29 Jun 2022 20:45:43 +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

Downloads

File Size SHA-256 Checksum
haskell-presburger_1.3.1-9.dsc 2.3 KiB 5fdd4522e48a5dce1b8844b24674d511a390b9600c8fe4ffb884fb446d5b0f3c
haskell-presburger_1.3.1.orig.tar.gz 10.5 KiB 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097
haskell-presburger_1.3.1-9.debian.tar.xz 4.5 KiB bf1ca2c356f99c557d7d3e54b64fa724dac49a581d312b88167663264e8a223b

No changes file available.

Binary packages built by this source

libghc-presburger-dev: No summary available for libghc-presburger-dev in ubuntu kinetic.

No description available for libghc-presburger-dev in ubuntu kinetic.

libghc-presburger-doc: No summary available for libghc-presburger-doc in ubuntu kinetic.

No description available for libghc-presburger-doc in ubuntu kinetic.

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.