all options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: haskell-sbv  ]

Package: libghc-sbv-prof (5.12-2 and others)

Links for libghc-sbv-prof


Debian Resources:

Download Source Package haskell-sbv:


External Resources:

Similar packages:

symbolic Haskell theorem prover using SMT solving; profiling libraries

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 for more information on Haskell.

Other Packages Related to libghc-sbv-prof

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-sbv-prof

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 5.12-2+b3 2,245.5 kB26,322.0 kB [list of files]
arm64 5.12-2+b2 3,104.3 kB44,334.0 kB [list of files]
armel 5.12-2+b3 2,435.2 kB24,108.0 kB [list of files]
armhf 5.12-2+b4 2,767.3 kB25,170.0 kB [list of files]
i386 5.12-2+b3 2,207.2 kB19,607.0 kB [list of files]
mips 5.12-2+b2 2,898.7 kB30,802.0 kB [list of files]
mips64el 5.12-2 3,303.4 kB44,156.0 kB [list of files]
mipsel 5.12-2+b1 2,922.9 kB30,805.0 kB [list of files]
ppc64el 5.12-2+b3 3,205.0 kB44,547.0 kB [list of files]
s390x 5.12-2+b2 3,716.2 kB61,651.0 kB [list of files]