Skip to content
Sections
>> Trisquel >> Packages >> aramo >> haskell >> libghc-smtlib-prof
etiona  ] [  nabia  ] [  aramo  ]
[ Source: haskell-smtlib  ]

Package: libghc-smtlib-prof (1.1-1build2)

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

. This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-smtlib-prof

  • depends
  • recommends
  • suggests

Download libghc-smtlib-prof

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 379.9 kB4756 kB [list of files]
arm64 447.4 kB5695 kB [list of files]
armhf 438.3 kB4157 kB [list of files]
ppc64el 506.0 kB7510 kB [list of files]