Commit 6f8315f5 authored by Daniel Gröber's avatar Daniel Gröber Committed by Daniel Gröber

haskell-djinn-ghc: Fix "description-too-long"

parent 2b466492
haskell-djinn-ghc ( unstable; urgency=medium
* Fix "description-too-long".
-- Daniel Gröber <> Mon, 03 Nov 2014 23:32:15 +0100
haskell-djinn-ghc ( unstable; urgency=low
[ Daniel Gröber ]
......@@ -25,7 +25,7 @@ Standards-Version: 3.9.5
X-Description: Generate Haskell code from a type. Bridge from Djinn to GHC API.
X-Description: Generate Haskell code from a type. (Bridge to GHC API)
Djinn uses an theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is the bridge from djinn-lib to
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