haskell-presburger 1.3.1-1 source package in Ubuntu
Changelog
haskell-presburger (1.3.1-1) unstable; urgency=low * Initial release. -- Clint Adams <email address hidden> Tue, 15 Dec 2015 12:38:15 -0500
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Xenial | release | universe | misc |
Downloads
| 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 |
No changes file available.
Binary packages built by this source
- libghc-presburger-dev: No summary available for libghc-presburger-dev in ubuntu yakkety.
No description available for libghc-
presburger- dev in ubuntu yakkety.
- 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: No summary available for libghc-presburger-prof in ubuntu yakkety.
No description available for libghc-
presburger- prof in ubuntu yakkety.
