libghc-presburger-doc_1.3.1-7_all.deb


Advertisement

Description

libghc-presburger-doc - decision procedure for quantifier-free linear arithmetic; documentation

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename libghc-presburger-doc_1.3.1-7_all.deb
Package name libghc-presburger-doc
Package version 1.3.1
Package release 7
Package architecture all
Package type deb
Category doc
Homepage http://github.com/yav/presburger
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 64.42 KB
Installed size 647.00 KB

Alternatives

Package Version Architecture Repository
libghc-presburger-doc_1.3.1-7_all.deb 1.3.1 all Debian Main
libghc-presburger-doc - - -

Requires

Name Value
haddock-interface-33 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-presburger-doc_1.3.1-7_all.deb
Source Package haskell-presburger

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libghc-presburger-doc deb package:
    # sudo apt-get install libghc-presburger-doc

Files

Path
/usr/lib/ghc-doc/haddock/presburger-1.3.1/presburger.haddock
/usr/lib/ghc-doc/hoogle/libghc-presburger-doc.txt
/usr/share/doc/libghc-presburger-doc/buildinfo_all.gz
/usr/share/doc/libghc-presburger-doc/changelog.Debian.gz
/usr/share/doc/libghc-presburger-doc/copyright
/usr/share/doc/libghc-presburger-doc/html/Data-Integer-SAT.html
/usr/share/doc/libghc-presburger-doc/html/doc-index.html
/usr/share/doc/libghc-presburger-doc/html/haddock-bundle.min.js
/usr/share/doc/libghc-presburger-doc/html/hslogo-16.png
/usr/share/doc/libghc-presburger-doc/html/index.html
/usr/share/doc/libghc-presburger-doc/html/meta.json
/usr/share/doc/libghc-presburger-doc/html/minus.gif
/usr/share/doc/libghc-presburger-doc/html/ocean.css
/usr/share/doc/libghc-presburger-doc/html/plus.gif
/usr/share/doc/libghc-presburger-doc/html/presburger.txt
/usr/share/doc/libghc-presburger-doc/html/quick-jump.css
/usr/share/doc/libghc-presburger-doc/html/synopsis.png
/usr/share/doc/libghc-presburger-doc/html/src/Data.Integer.SAT.html
/usr/share/doc/libghc-presburger-doc/html/src/highlight.js
/usr/share/doc/libghc-presburger-doc/html/src/style.css

Changelog

2019-08-25 - Gianfranco Costamagna <locutusofborg@debian.org>
haskell-presburger (1.3.1-7) unstable; urgency=medium
* Upstream fixes for new ghc
- debian/patches/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch:
- debian/patches/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch:
2018-10-03 - Dmitry Bogatov <KAction@gnu.org>
haskell-presburger (1.3.1-6) unstable; urgency=medium
* Patch to build with ghc-8.4
2018-09-30 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-presburger (1.3.1-5) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
2018-04-09 - Clint Adams <clint@debian.org>
haskell-presburger (1.3.1-4) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
2016-10-27 - Clint Adams <clint@debian.org>
haskell-presburger (1.3.1-3) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
2016-10-16 - Clint Adams <clint@debian.org>
haskell-presburger (1.3.1-2) experimental; urgency=medium
[ Dmitry Bogatov ]
* Bump standards version to 3.9.8 (no changes needed)
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
2015-12-15 - Clint Adams <clint@debian.org>
haskell-presburger (1.3.1-1) unstable; urgency=low
* Initial release.

See Also

Package Description
libghc-presburger-prof_1.3.1-7_amd64.deb decision procedure for quantifier-free linear arithmetic; profiling libraries
libghc-pretty-show-dev_1.9.5-1_amd64.deb A Haskell library for pretty printing data structures
libghc-pretty-show-doc_1.9.5-1_all.deb Documentation for Haskell pretty printing library; documentation
libghc-pretty-show-prof_1.9.5-1_amd64.deb Profiling libraries for pretty printing Haskell data structures; profiling libraries
libghc-pretty-simple-dev_2.2.0.1-1_amd64.deb pretty printer for data types with a 'Show' instance
libghc-pretty-simple-doc_2.2.0.1-1_all.deb pretty printer for data types with a 'Show' instance; documentation
libghc-pretty-simple-prof_2.2.0.1-1_amd64.deb pretty printer for data types with a 'Show' instance; profiling libraries
libghc-prettyclass-dev_1.0.0.0-8+b3_amd64.deb Pretty printing class similar to Show
libghc-prettyclass-doc_1.0.0.0-8_all.deb Pretty printing class similar to Show.; documentation
libghc-prettyclass-prof_1.0.0.0-8+b3_amd64.deb Pretty printing class similar to Show.; profiling libraries
libghc-prettyprinter-ansi-terminal-dev_1.1.1.2-5_amd64.deb ANSI terminal backend for prettyprinter
libghc-prettyprinter-ansi-terminal-doc_1.1.1.2-5_all.deb ANSI terminal backend for prettyprinter; documentation
libghc-prettyprinter-ansi-terminal-prof_1.1.1.2-5_amd64.deb ANSI terminal backend for prettyprinter; profiling libraries
libghc-prettyprinter-convert-ansi-wl-pprint-dev_1.1-4+b2_amd64.deb convert documents between ansi-wl-pprint and prettyprinter
libghc-prettyprinter-convert-ansi-wl-pprint-doc_1.1-4_all.deb convert documents between ansi-wl-pprint and prettyprinter; documentation
Advertisement
Advertisement