Ubuntu

libghc-djinn-ghc-dev binary package in Ubuntu Groovy amd64

  1. Groovy (20.10)
  2. amd64
  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-07-27 06:09:08 UTC Published Ubuntu Groovy amd64 release universe haskell Extra 0.0.2.3-10build1
  • Published on 2020-07-27
  • Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Groovy amd64 proposed universe haskell Extra 0.0.2.3-10build1
  • Removal requested on 2020-07-27.
  • Deleted on 2020-07-27 by Ubuntu Archive Robot

    moved to Release

  • Published on 2020-07-22
  2020-07-27 06:16:02 UTC Superseded Ubuntu Groovy amd64 release universe haskell Extra 0.0.2.3-10
  • Removed from disk on 2020-07-28.
  • Removal requested on 2020-07-28.
  • Superseded on 2020-07-27 by amd64 build of haskell-djinn-ghc 0.0.2.3-10build1 in ubuntu groovy PROPOSED
  • Published on 2020-07-21
  • Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
  2020-07-28 06:10:11 UTC Deleted Ubuntu Groovy amd64 proposed universe haskell Extra 0.0.2.3-10
  • Removed from disk on 2020-07-28.
  • Removal requested on 2020-07-21.
  • Deleted on 2020-07-21 by Ubuntu Archive Robot

    moved to Release

  • Published on 2020-06-14
  2020-07-21 09:28:19 UTC Superseded Ubuntu Groovy amd64 release universe haskell Extra 0.0.2.3-9build2
  • Removal requested on 2020-07-22.
  • Superseded on 2020-07-21 by amd64 build of haskell-djinn-ghc 0.0.2.3-10 in ubuntu groovy PROPOSED
  • Published on 2020-04-24
  • Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu

Source package