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

Package: libghc-smtlib-prof (1.0.9-2 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.0.9-2+b3 540.0 kB7,323.0 kB [list of files]
amd64 1.0.9-2+b3 385.6 kB4,746.0 kB [list of files]
arm64 1.0.9-2+b3 451.7 kB5,704.0 kB [list of files]
armel 1.0.9-2+b4 450.0 kB4,258.0 kB [list of files]
armhf 1.0.9-2+b7 434.0 kB4,158.0 kB [list of files]
hppa (unofficial port) 1.0.9-2+b4 655.0 kB6,632.0 kB [list of files]
i386 1.0.9-2+b3 387.9 kB3,592.0 kB [list of files]
m68k (unofficial port) 1.0.9-2+b3 551.4 kB5,670.0 kB [list of files]
mips64el 1.0.9-2+b3 475.6 kB6,822.0 kB [list of files]
mipsel 1.0.9-2+b3 471.8 kB4,917.0 kB [list of files]
powerpcspe (unofficial port) 1.0.9-1 449.8 kB4,678.0 kB [list of files]
ppc64 (unofficial port) 1.0.9-2+b3 477.0 kB7,739.0 kB [list of files]
ppc64el 1.0.9-2+b3 493.5 kB7,496.0 kB [list of files]
riscv64 (unofficial port) 1.0.9-2+b3 834.9 kB11,368.0 kB [list of files]
s390x 1.0.9-2+b3 434.3 kB6,155.0 kB [list of files]
sh4 (unofficial port) 1.0.9-2 461.6 kB4,669.0 kB [list of files]
sparc64 (unofficial port) 1.0.9-2+b3 674.0 kB10,953.0 kB [list of files]
x32 (unofficial port) 1.0.9-2+b3 544.4 kB5,593.0 kB [list of files]