Ubuntu
haskell-presburger package

haskell-presburger source package in Lunar

libghc-presburger-dev: No summary available for libghc-presburger-dev in ubuntu kinetic.
libghc-presburger-doc: No summary available for libghc-presburger-doc in ubuntu kinetic.
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-9build1
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-9build1)

File Size SHA-256 Checksum
haskell-presburger_1.3.1.orig.tar.gz 10.5 KiB 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097
haskell-presburger_1.3.1-9build1.debian.tar.xz 4.5 KiB a3f22f31b1903acd58045d7519ad3771d5cd7335a0b67397e2ebfefe801132a1
haskell-presburger_1.3.1-9build1.dsc 2.3 KiB dfad10dbfb5cd9baec69b10f1bbd07beea476bf6a0caa6e20d7837ec966fb991

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies