Ubuntu
haskell-presburger package

haskell-presburger source package in Xenial

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

Versions published

Release

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

haskell-presburger information

Current version:
1.3.1-1
Uploaded:
Urgency:
Low 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-1)

File Size SHA-256 Checksum
haskell-presburger_1.3.1-1.dsc 2.4 KiB 3b33384cd8817f5dc27fb3a78c0e99d8b2d2bcd64862eecaa45f2d31e4003a63
haskell-presburger_1.3.1.orig.tar.gz 10.5 KiB 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097
haskell-presburger_1.3.1-1.debian.tar.xz 1.9 KiB 7f493b1030085964b105663be1b1f7febf06f91bd08a624a356eee4d6629d054

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies