haskell-presburger 1.3.1-8build2 source package in Ubuntu
Changelog
haskell-presburger (1.3.1-8build2) hirsute; urgency=medium * No-change rebuild for new GHC ABIs -- Steve Langasek <email address hidden> Thu, 29 Oct 2020 20:44:32 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Hirsute
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Jammy | 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-8build2.debian.tar.xz | 4.6 KiB | 3ab60308ce4b65ca1166563c279589452ee607e2a93c84e82c9a7b1dbb72ff73 |
haskell-presburger_1.3.1-8build2.dsc | 2.4 KiB | add5cb5ab0a71735692f51d1ab9f7c59b173a81a1d08a30a4cc681bc5609d846 |
Available diffs
- diff from 1.3.1-8build1 to 1.3.1-8build2 (517 bytes)
Binary packages built by this source
- libghc-presburger-dev: No summary available for libghc-presburger-dev in ubuntu hirsute.
No description available for libghc-
presburger- dev in ubuntu hirsute.
- 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.