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

Changelog

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

  [ Joachim Breitner ]
  * Add Uploaders field, which I accidentally dropped

  [ Clint Adams ]
  * Switch Vcs-Git/Vcs-Browser headers to new location.

 -- Clint Adams <email address hidden>  Thu, 03 Dec 2015 14:54:22 -0500

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-djinn-ghc_0.0.2.3-4.dsc 2.5 KiB b3a606e6e1891d943accd3c64848762ae2b16691575c80fd0759ecc836e99dc2
haskell-djinn-ghc_0.0.2.3-4.debian.tar.xz 2.4 KiB 3ce691697279da0cb13623c783c140748bd8f97892cfff54bca1cdcf25f75398
haskell-djinn-ghc_0.0.2.3.orig.tar.gz 3.3 KiB cb956aed69bc5c342b45ef1b1142b6555fd2865dde1a80ac6ab3ef86aca314a4

No changes file available.

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: Generate Haskell code from a type. (Bridge to GHC API); profiling libraries

 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, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.