Ubuntu
haskell-djinn-lib package

haskell-djinn-lib 0.0.1.4-2build1 source package in Ubuntu

Changelog

haskell-djinn-lib (0.0.1.4-2build1) oracular; urgency=medium

  * Rebuild against new GHC ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 15 May 2024 10:18:39 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
haskell-djinn-lib_0.0.1.4.orig.tar.gz 14.4 KiB 882376cc58b6425c20059beb880b7ed0bccbc59225e183b68810c86da0e993e8
haskell-djinn-lib_0.0.1.4-2build1.debian.tar.xz 3.1 KiB 894cf1fcbd07927b8b93e8f09acd3e27ac3eecbd4abc003b0458665896c4409f
haskell-djinn-lib_0.0.1.4-2build1.dsc 2.3 KiB de712b463332560b00a5d72e0d286b894b717f9477b044061d9d272efabd77b0

View changes file

Binary packages built by this source

libghc-djinn-lib-dev: Generate Haskell code from a type

 Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
 generate a Haskell expression when given a type. This is a library extracted
 from Djinn-Lib sources.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-djinn-lib-doc: Generate Haskell code from a type; documentation

 Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
 generate a Haskell expression when given a type. This is a library extracted
 from Djinn-Lib sources.
 .
 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-lib-prof: Generate Haskell code from a type; profiling libraries

 Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
 generate a Haskell expression when given a type. This is a library extracted
 from Djinn-Lib sources.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.