openKylin

libghc-sbv-prof 7.13-ok1 (amd64 binary) in openkylin yangtze

 Express properties about Haskell programs and automatically prove them
 using SMT (Satisfiability Modulo Theories) solvers.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.

Details

Package version:
7.13-ok1
Source:
haskell-sbv 7.13-ok1 source package in openKylin
Status:
Deleted
Component:
main
Priority:
Optional

Downloadable files

Package relationships

Depends on:
  • libghc-array-prof-0.5.3.0-ea273
  • libghc-async-prof-2.2.2-1bf81
  • libghc-base-prof-4.12.0.0-a86a1
  • libghc-containers-prof-0.6.0.1-b7319
  • libghc-cracknum-prof-2.3-9af54
  • libghc-deepseq-prof-1.4.4.0-b5530
  • libghc-directory-prof-1.3.3.0-40647
  • libghc-filepath-prof-1.4.2.1-774a0
  • libghc-generic-deriving-prof-1.12.4-87395
  • libghc-ghc-prof-8.6.5-ea8b3
  • libghc-mtl-prof-2.2.2-07ff1
  • libghc-pretty-prof-1.1.3.6-4f0eb
  • libghc-process-prof-1.6.5.0-e8028
  • libghc-quickcheck-prof-2.12.6.1-acdeb
  • libghc-random-prof-1.1-63bce
  • libghc-sbv-dev (= 7.13-ok1)
  • libghc-syb-prof-0.7.1-6c519
  • libghc-template-haskell-prof-2.14.0.0-47084
  • libghc-time-prof-1.8.0.2-76e12
Provides:
  • libghc-sbv-prof-7.13-7e0aa