alle opties
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: haskell-simple-smt  ]

Pakket: libghc-simple-smt-prof (0.9.7-2 en anderen)

Verwijzigingen voor libghc-simple-smt-prof

Screenshot

Debian bronnen:

Het bronpakket haskell-simple-smt downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

A simple way to interact with an SMT solver process.; profiling libraries

This package provides a simple way to interact with an SMT solver process, using the SmtLib-2 format.

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

Andere aan libghc-simple-smt-prof gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-simple-smt-prof downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.9.7-2+b1 127,3 kB1.305,0 kB [overzicht]
amd64 0.9.7-2+b1 90,8 kB819,0 kB [overzicht]
arm64 0.9.7-2+b1 104,2 kB1.025,0 kB [overzicht]
armel 0.9.7-2+b2 118,5 kB986,0 kB [overzicht]
armhf 0.9.7-2+b2 117,7 kB970,0 kB [overzicht]
hppa (unofficial port) 0.9.7-2+b4 144,3 kB1.172,0 kB [overzicht]
i386 0.9.7-2+b1 125,7 kB893,0 kB [overzicht]
ia64 (unofficial port) 0.9.7-2+b1 147,8 kB2.449,0 kB [overzicht]
m68k (unofficial port) 0.9.7-2 119,4 kB900,0 kB [overzicht]
mips64el 0.9.7-2+b1 117,0 kB1.225,0 kB [overzicht]
ppc64 (unofficial port) 0.9.7-2+b1 105,3 kB1.280,0 kB [overzicht]
ppc64el 0.9.7-2+b1 109,9 kB1.244,0 kB [overzicht]
riscv64 0.9.7-2+b2 165,9 kB1.833,0 kB [overzicht]
s390x 0.9.7-2+b1 122,5 kB1.490,0 kB [overzicht]
sh4 (unofficial port) 0.9.5-1 98,4 kB712,0 kB [overzicht]
sparc64 (unofficial port) 0.9.7-2+b2 135,7 kB1.913,0 kB [overzicht]
x32 (unofficial port) 0.9.7-2 126,5 kB966,0 kB [overzicht]