Ubuntu

libghc-presburger-dev binary package in Ubuntu Xenial amd64

  1. Xenial (16.04)
  2. amd64
  3. libghc-presburger-dev

 The decision procedure is based on the algorithm used in
 CVC4, which is itself based on the Omega test.
 .
 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
  2015-12-19 17:19:04 UTC Published Ubuntu Xenial amd64 release universe haskell Extra 1.3.1-1
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Xenial amd64 proposed universe haskell Extra 1.3.1-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published

Source package