Ubuntu

djinn binary package in Ubuntu Xenial arm64

  1. Xenial (16.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
  2015-12-08 00:54:27 UTC Published Ubuntu Xenial arm64 release universe haskell Extra 2014.9.7-4
  • Published
  • Copied from ubuntu xenial-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Xenial arm64 proposed universe haskell Extra 2014.9.7-4
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-12-08 00:56:36 UTC Superseded Ubuntu Xenial arm64 release universe haskell Extra 2011.7.23-3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of djinn 2014.9.7-4 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu wily-proposed arm64 in Primary Archive for Ubuntu

Source package