Ubuntu

libghc-presburger-dev 1.3.1-1 (armhf binary) in ubuntu yakkety

  1. Yakkety (16.10)
  2. armhf
  3. libghc-presburger-dev
  4. 1.3.1-1

 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.

Details

Package version:
1.3.1-1
Source:
haskell-presburger 1.3.1-1 source package in Ubuntu
Status:
Obsolete
Component:
universe
Priority:
Extra

Downloadable files

Package relationships

Depends on:
  • libc6 (>= 2.4)
  • libghc-base-dev-4.8.2.0-2f1f7
  • libghc-containers-dev-0.5.6.2-169e5
  • libghc-pretty-dev-1.1.2.0-b0632
Provides:
  • libghc-presburger-dev-1.3.1-55822