Ubuntu
haskell-presburger package

haskell-presburger source package in Jammy

libghc-presburger-dev: No summary available for libghc-presburger-dev in ubuntu hirsute.
libghc-presburger-doc: decision procedure for quantifier-free linear arithmetic; documentation
libghc-presburger-prof: decision procedure for quantifier-free linear arithmetic; profiling libraries

Versions published

Release

The package versions that were published when the distribution release was made.

haskell-presburger information

Current version:
1.3.1-8build2
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?


Releases in Ubuntu

Binary packages

Download files from current release (1.3.1-8build2)

File Size SHA-256 Checksum
haskell-presburger_1.3.1.orig.tar.gz 10.5 KiB 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097
haskell-presburger_1.3.1-8build2.debian.tar.xz 4.6 KiB 3ab60308ce4b65ca1166563c279589452ee607e2a93c84e82c9a7b1dbb72ff73
haskell-presburger_1.3.1-8build2.dsc 2.4 KiB add5cb5ab0a71735692f51d1ab9f7c59b173a81a1d08a30a4cc681bc5609d846

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies