--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2018-3d0f9e4aa8
2018-04-17 00:11:16.751547
--------------------------------------------------------------------------------

Name        : ghc-djinn-lib
Product     : Fedora 28
Version     : 0.0.1.2
Release     : 1.fc28
URL         : https://hackage.haskell.org/package/djinn-lib
Summary     : Generate Haskell code from a type
Description :
Djinn uses a theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is a library extracted from Djinn
sources.

--------------------------------------------------------------------------------
Update Information:

Initial package of djinn-lib for Haskell
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #1564682 - Review Request: ghc-djinn-lib - Generate Haskell code 
from a type
        https://bugzilla.redhat.com/show_bug.cgi?id=1564682
--------------------------------------------------------------------------------

This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade ghc-djinn-lib' at the command line.
For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label

All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
_______________________________________________
package-announce mailing list -- package-announce@lists.fedoraproject.org
To unsubscribe send an email to package-announce-le...@lists.fedoraproject.org

Reply via email to