Ubuntu

libghc-djinn-ghc-dev binary package in Ubuntu Focal i386

  1. Focal (20.04)
  2. i386
  3. libghc-djinn-ghc-dev

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-12-29 18:10:09 UTC Deleted Ubuntu Focal i386 release universe haskell Extra 0.0.2.3-9build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    i386 deprecated as host arch

  • Published
  • Copied from ubuntu eoan-proposed i386 in Primary Archive for Ubuntu