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

Package: libghc-sbv-prof (7.13-1 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
alpha (unofficial port) 7.13-1+b1 4,931.7 kB66,906.0 kB [list of files]
amd64 7.13-1+b1 3,331.0 kB40,382.0 kB [list of files]
arm64 7.13-1+b1 3,740.0 kB46,555.0 kB [list of files]
armel 7.13-1+b1 3,607.7 kB34,868.0 kB [list of files]
armhf 7.13-1+b2 3,570.1 kB34,129.0 kB [list of files]
hppa (unofficial port) 7.13-1+b2 6,055.3 kB63,481.0 kB [list of files]
i386 7.13-1+b1 3,366.7 kB30,327.0 kB [list of files]
m68k (unofficial port) 7.13-1+b1 4,738.1 kB48,972.0 kB [list of files]
mips64el 7.13-1+b1 4,601.6 kB64,526.0 kB [list of files]
mipsel 7.13-1+b2 4,297.1 kB44,784.0 kB [list of files]
powerpcspe (unofficial port) 7.5-1+b1 3,766.0 kB42,974.0 kB [list of files]
ppc64 (unofficial port) 7.13-1+b3 4,227.3 kB67,202.0 kB [list of files]
ppc64el 7.13-1+b1 4,444.7 kB64,919.0 kB [list of files]
riscv64 (unofficial port) 7.13-1+b1 8,095.0 kB115,352.0 kB [list of files]
s390x 7.13-1+b2 4,086.5 kB57,191.0 kB [list of files]
sparc64 (unofficial port) 7.13-1+b3 6,321.9 kB109,784.0 kB [list of files]
x32 (unofficial port) 7.13-1+b3 5,503.3 kB53,353.0 kB [list of files]