Ubuntu
haskell-djinn-lib package

haskell-djinn-lib 0.0.1.4-1build2 source package in Ubuntu

Changelog

haskell-djinn-lib (0.0.1.4-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 08 Dec 2022 21:32:54 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Lunar
Original maintainer:
Ubuntu Developers
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-lib_0.0.1.4.orig.tar.gz 14.4 KiB 882376cc58b6425c20059beb880b7ed0bccbc59225e183b68810c86da0e993e8
haskell-djinn-lib_0.0.1.4-1build2.debian.tar.xz 3.1 KiB 2b24c1d663c659d9bfdd9c9ae027147df3610b81fd5b89a6a12c872216e44083
haskell-djinn-lib_0.0.1.4-1build2.dsc 2.4 KiB d1869970198e2aae5482e348e60dcfcc7700bb351c28ea5aaec0f199bde91d6b

Available diffs

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.