Paket: libghc-smtlib-prof (1.1-4 och andra)

Länkar för libghc-smtlib-prof

eLxr Patch Tracker

Hämta källkodspaketet haskell-smtlib:

Ansvariga:

Liknande paket:

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.

Andra paket besläktade med libghc-smtlib-prof

beror

rekommenderar

föreslår

enhances

dep: libghc-base-prof-4.18.2.1-75247 [arm64]

virtuellt paket som tillhandahålls av ghc-prof
dep: libghc-base-prof-4.18.2.1-8e81e [amd64]

virtuellt paket som tillhandahålls av ghc-prof
dep: libghc-pretty-prof-1.1.3.6-21c21 [arm64]

virtuellt paket som tillhandahålls av ghc-prof
dep: libghc-pretty-prof-1.1.3.6-8f6c9 [amd64]

virtuellt paket som tillhandahålls av ghc-prof
dep: libghc-smtlib-dev (= 1.1-4+b1)

A library for working with the SMTLIB format.

Hämta libghc-smtlib-prof

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	1.1-4+b1	361,4 kbyte	3.946,0 kbyte	[filförteckning]
arm64	1.1-4+b1	423,6 kbyte	4.992,0 kbyte	[filförteckning]