libghc-sbv-prof - 8.17-1+b3 main

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.

Priority: optional
Section: haskell
Suites: amber byzantium crimson dawn landing 
Maintainer: Debian Haskell Group <pkg-haskell-maintainers [꩜] lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

  • libghc-array-prof-0.5.4.0-0b6fa
  • libghc-async-prof-2.2.4-76d4c
  • libghc-base-prof-4.15.1.0-78aa1
  • libghc-containers-prof-0.6.4.1-567e5
  • libghc-deepseq-prof-1.4.5.0-81ebb
  • libghc-directory-prof-1.3.6.2-fe524
  • libghc-filepath-prof-1.4.2.1-56c4c
  • libghc-libbf-prof-0.6.5.1-b80ad
  • libghc-mtl-prof-2.2.2-e3bae
  • libghc-pretty-prof-1.1.3.6-f6ce8
  • libghc-process-prof-1.6.13.2-7cc26
  • libghc-quickcheck-prof-2.14.2-9ab69
  • libghc-random-prof-1.2.1.1-25f01
  • libghc-sbv-dev (= 8.17-1+b3)
  • libghc-syb-prof-0.7.2.2-ec1fd
  • libghc-template-haskell-prof-2.17.0.0-fec37
  • libghc-text-prof-1.2.5.0-901e9
  • libghc-time-prof-1.9.3-dbc8a
  • libghc-transformers-prof-0.5.6.2-fc6f3
  • libghc-uniplate-prof-1.6.13-8d606

Installed Size: 114.4 MB
Architectures: arm64  amd64 

 

Versions

8.17-1+b3 arm64 8.17-1+b3 amd64