Ubuntu

djinn binary package in Ubuntu Focal arm64

  1. Focal (20.04)
  2. arm64
  3. djinn

 Djinn uses a theorem prover for intuitionistic propositional logic to
 generate a Haskell expression when given a type.
 .
 Given a type the program will deduce an expression of this type, if one
 exists. If the Djinn says the type is not realizable it is because there
 is no (total) expression of the given type.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-02-08 15:13:21 UTC Published Ubuntu Focal arm64 release universe haskell Extra 2014.9.7-9build3
  • Published
  • Copied from ubuntu focal-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal arm64 proposed universe haskell Extra 2014.9.7-9build3
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-08 15:15:52 UTC Superseded Ubuntu Focal arm64 release universe haskell Extra 2014.9.7-9build2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of djinn 2014.9.7-9build3 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu focal-proposed arm64 in Primary Archive for Ubuntu
  2020-02-09 18:10:10 UTC Deleted Ubuntu Focal arm64 proposed universe haskell Extra 2014.9.7-9build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-01-31 09:06:06 UTC Superseded Ubuntu Focal arm64 release universe haskell Extra 2014.9.7-9build1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of djinn 2014.9.7-9build2 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed arm64 in Primary Archive for Ubuntu

Source package