Ubuntu
haskell-djinn-ghc package

haskell-djinn-ghc 0.0.2.3-4build2 source package in Ubuntu

Changelog

haskell-djinn-ghc (0.0.2.3-4build2) xenial; urgency=medium

  * Rebuild for new GHC ABIs.

 -- Colin Watson <email address hidden>  Tue, 12 Jan 2016 12:08:43 +0000

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Xenial
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe misc

Downloads

File Size SHA-256 Checksum
haskell-djinn-ghc_0.0.2.3.orig.tar.gz 3.3 KiB cb956aed69bc5c342b45ef1b1142b6555fd2865dde1a80ac6ab3ef86aca314a4
haskell-djinn-ghc_0.0.2.3-4build2.debian.tar.xz 2.5 KiB 7291276e6582615743e8d0f5717b0ba311a088abe33d20ed91737da6fda03239
haskell-djinn-ghc_0.0.2.3-4build2.dsc 2.5 KiB 0680da2dbb1f6a3c9402b69950161af8471d75ca22d394540449951c27922d79

Available diffs

View changes file

Binary packages built by this source

libghc-djinn-ghc-dev: 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
 GHC API.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-djinn-ghc-doc: Generate Haskell code from a type. (Bridge to GHC API); documentation

 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.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-djinn-ghc-prof: No summary available for libghc-djinn-ghc-prof in ubuntu yakkety.

No description available for libghc-djinn-ghc-prof in ubuntu yakkety.