Ubuntu

libghc-djinn-ghc-prof binary package in Ubuntu Groovy s390x

  1. Groovy (20.10)
  2. s390x
  3. libghc-djinn-ghc-prof

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-07-27 06:09:08 UTC Published Ubuntu Groovy s390x release universe haskell Extra 0.0.2.3-10build1
  • Published on 2020-07-27
  • Copied from ubuntu groovy-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Groovy s390x 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 s390x 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 s390x build of haskell-djinn-ghc 0.0.2.3-10build1 in ubuntu groovy PROPOSED
  • Published on 2020-07-21
  • Copied from ubuntu groovy-proposed s390x in Primary Archive for Ubuntu
  2020-07-28 06:10:11 UTC Deleted Ubuntu Groovy s390x 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 s390x release universe haskell Extra 0.0.2.3-9build2
  • Removal requested on 2020-07-22.
  • Superseded on 2020-07-21 by s390x build of haskell-djinn-ghc 0.0.2.3-10 in ubuntu groovy PROPOSED
  • Published on 2020-04-24
  • Copied from ubuntu eoan-proposed s390x in Primary Archive for Ubuntu

Source package