all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-smtlib  ]

Package: libghc-smtlib-prof (1.1-3 and others)

Links for libghc-smtlib-prof


Debian Resources:

Download Source Package haskell-smtlib:


Similar packages:

A library for working with the SMTLIB format.; profiling libraries

. This package provides a library for the Haskell programming language, compiled for profiling. See for more information on Haskell.

Other Packages Related to libghc-smtlib-prof

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-smtlib-prof

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1.1-3+b1 514.0 kB6,525.0 kB [list of files]
amd64 1.1-3+b1 365.2 kB4,198.0 kB [list of files]
arm64 1.1-3+b1 426.3 kB5,327.0 kB [list of files]
armel 1.1-3+b2 511.5 kB5,093.0 kB [list of files]
armhf 1.1-3+b2 499.5 kB4,998.0 kB [list of files]
hppa (unofficial port) 1.1-3+b4 621.4 kB5,901.0 kB [list of files]
i386 1.1-3+b1 501.0 kB4,501.0 kB [list of files]
ia64 (unofficial port) 1.1-3+b1 639.6 kB12,532.0 kB [list of files]
m68k (unofficial port) 1.1-3 562.0 kB5,333.0 kB [list of files]
mips64el 1.1-3+b1 461.5 kB6,114.0 kB [list of files]
ppc64 (unofficial port) 1.1-3+b1 456.4 kB6,858.0 kB [list of files]
ppc64el 1.1-3+b1 471.7 kB6,641.0 kB [list of files]
riscv64 1.1-3+b2 782.1 kB9,861.0 kB [list of files]
s390x 1.1-3+b1 545.7 kB8,082.0 kB [list of files]
sh4 (unofficial port) 1.1-2 108.0 kB772.0 kB [list of files]
sparc64 (unofficial port) 1.1-3+b2 587.5 kB9,966.0 kB [list of files]
x32 (unofficial port) 1.1-3 571.6 kB5,640.0 kB [list of files]