Ubuntu
haskell-presburger package

haskell-presburger 1.3.1-10build1 source package in Ubuntu

Changelog

haskell-presburger (1.3.1-10build1) oracular; urgency=medium

  * Rebuild against new GHC ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 15 May 2024 11:14:48 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Oracular
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

Downloads

File Size SHA-256 Checksum
haskell-presburger_1.3.1.orig.tar.gz 10.5 KiB 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097
haskell-presburger_1.3.1-10build1.debian.tar.xz 4.6 KiB 43f700fc1094cb0c541b730f3fcdeb9c0fca40c9ef447ee0fdfd02d1e5e17e38
haskell-presburger_1.3.1-10build1.dsc 2.3 KiB d150cef724056f76db257eb09dee531b0a02c54e96ac3289ede6f64f800f9dce

View changes file

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.