-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2018-72bf54ab64 2018-04-17 00:11:16.751650 --------------------------------------------------------------------------------
Name : ghc-djinn-ghc Product : Fedora 28 Version : 0.0.2.3 Release : 1.fc28 URL : https://hackage.haskell.org/package/djinn-ghc Summary : Generate Haskell code from a type. Bridge from Djinn to GHC API Description : 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 GHC API. -------------------------------------------------------------------------------- Update Information: Initial package of djinn-ghc of Haskell -------------------------------------------------------------------------------- References: [ 1 ] Bug #1565367 - Review Request: ghc-djinn-ghc - Generate Haskell code from a type. Bridge from Djinn to GHC API https://bugzilla.redhat.com/show_bug.cgi?id=1565367 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade ghc-djinn-ghc' 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
