djinn 2014.9.7-7 source package in Ubuntu


djinn (2014.9.7-7) 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 URLs in Vcs-{Browser,Git} fields

  [ Clint Adams ]
  * Bump to Standards-Version 4.1.4.

 -- Clint Adams <email address hidden>  Mon, 09 Apr 2018 20:04:40 -0400

Upload details

Uploaded by:
Debian Haskell Group on 2018-04-11
Uploaded to:
Original maintainer:
Debian Haskell Group
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Cosmic release on 2018-05-05 universe misc


File Size SHA-256 Checksum
djinn_2014.9.7-7.dsc 2.1 KiB 624beb80bf4c8385b8809074641f73df01b47ffd15340b1354b04fafaafd1352
djinn_2014.9.7.orig.tar.gz 21.7 KiB 4ff8346fb9e93055b93db16a283312ee8bda122db8e54520c299da81d6df2ddd
djinn_2014.9.7-7.debian.tar.xz 3.0 KiB b72d04a359d545a82afb04dc0854d9f7788d4801442c0111cc6dddfc0ec9e7f5

No changes file available.

Binary packages built by this source

djinn: 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.