Artifact djinn_2014.9.7-9+b2_amd64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libc6 (>= 2.29), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg), libtinfo6
    (>= 6)
  Description: |-
    generate Haskell expressions from types
     Djinn uses a theorem prover for intuitionistic propositional logic to
     generate a Haskell expression when given a type.
     .
     Given a type the program will deduce an expression of this type, if one
     exists.  If the Djinn says the type is not realizable it is because there
     is no (total) expression of the given type.
  Homepage: http://hackage.haskell.org/package/djinn
  Installed-Size: '2346'
  Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
  Package: djinn
  Priority: optional
  Section: haskell
  Source: djinn (2014.9.7-9)
  Version: 2014.9.7-9+b2
srcpkg_name: djinn
srcpkg_version: 2014.9.7-9