Commit 735f95f5 authored by Clint Adams's avatar Clint Adams

djinn: build with ghc 8 in experimental

parent 791246c8
djinn (2014.9.7-5) UNRELEASED; urgency=medium
djinn (2014.9.7-5) experimental; urgency=medium
[ Dmitry Bogatov ]
* Use secure (https) uri in Vcs-Git field in 'debian/control'
* Bump standards version to 3.9.8 (no changes needed)
[ Gianfranco Costamagna ]
* Fix VCS fields
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
-- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:34:42 +0300
-- Clint Adams <clint@debian.org> Thu, 13 Oct 2016 23:29:37 -0400
djinn (2014.9.7-4) unstable; urgency=medium
......
......@@ -3,14 +3,13 @@ Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.or
Uploaders: Joachim Breitner <nomeata@debian.org>
Priority: extra
Section: haskell
Build-Depends: debhelper (>= 9),
Build-Depends:
cdbs,
haskell-devscripts (>= 0.10),
ghc,
debhelper (>= 9),
ghc (>= 8),
ghc-prof,
haskell-devscripts (>= 0.10),
libghc-mtl-dev,
libghc-haskeline-dev,
libghc-pretty-dev,
Standards-Version: 3.9.8
Homepage: http://hackage.haskell.org/package/djinn
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
......@@ -18,12 +17,10 @@ Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Package: djinn
Architecture: any
Depends: ${haskell:Depends},
${shlibs:Depends},
${misc:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
Provides: ${haskell:Provides},
Depends: ${haskell:Depends}, ${misc:Depends}, ${shlibs:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: generate Haskell expressions from types
Djinn uses a theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment