Ubuntu

libghc-djinn-ghc-prof binary package in Ubuntu Xenial armhf

  1. Xenial (16.04)
  2. armhf
  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
  2016-02-10 15:18:47 UTC Published Ubuntu Xenial armhf release universe haskell Extra 0.0.2.3-4build2
  • Published
  • Copied from ubuntu xenial-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Xenial armhf proposed universe haskell Extra 0.0.2.3-4build2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-02-10 15:39:48 UTC Superseded Ubuntu Xenial armhf release universe haskell Extra 0.0.2.3-4build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of haskell-djinn-ghc 0.0.2.3-4build2 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu xenial-proposed armhf in Primary Archive for Ubuntu
  2016-02-11 18:10:10 UTC Deleted Ubuntu Xenial armhf proposed universe haskell Extra 0.0.2.3-4build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-12-20 21:44:41 UTC Superseded Ubuntu Xenial armhf release universe haskell Extra 0.0.2.3-4
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of haskell-djinn-ghc 0.0.2.3-4build1 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu xenial-proposed armhf in Primary Archive for Ubuntu
  2015-12-22 00:10:11 UTC Deleted Ubuntu Xenial armhf proposed universe haskell Extra 0.0.2.3-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-12-19 16:18:39 UTC Superseded Ubuntu Xenial armhf release universe haskell Extra 0.0.2.3-2build3
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of haskell-djinn-ghc 0.0.2.3-4 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu wily-proposed armhf in Primary Archive for Ubuntu

Source package