Ubuntu

libghc-djinn-lib-dev binary package in Ubuntu Lunar amd64

  1. Lunar (23.04)
  2. amd64
  3. libghc-djinn-lib-dev

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-12-28 04:09:00 UTC Published Ubuntu Lunar amd64 release universe haskell Extra 0.0.1.4-1build3
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar amd64 proposed universe haskell Extra 0.0.1.4-1build3
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-12-09 13:34:48 UTC Superseded Ubuntu Lunar amd64 proposed universe haskell Extra 0.0.1.4-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-djinn-lib 0.0.1.4-1build3 in ubuntu lunar PROPOSED
  • Published
  2022-12-28 04:21:16 UTC Superseded Ubuntu Lunar amd64 release universe haskell Extra 0.0.1.4-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-djinn-lib 0.0.1.4-1build3 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu

Source package