všetky možnosti
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: haskell-simple-smt  ]

Balík: libghc-simple-smt-prof (0.9.7-1 a iné)

Odkazy pre libghc-simple-smt-prof

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík haskell-simple-smt:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libghc-simple-smt-prof

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libghc-simple-smt-prof

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 0.9.7-1+b2 88.4 kB774.0 kB [zoznam súborov]
arm64 0.9.7-1+b1 129.3 kB1,291.0 kB [zoznam súborov]
armel 0.9.7-1+b2 125.6 kB968.0 kB [zoznam súborov]
armhf 0.9.7-1+b2 124.1 kB949.0 kB [zoznam súborov]
i386 0.9.7-1+b1 118.6 kB833.0 kB [zoznam súborov]
mips64el 0.9.7-1+b1 110.4 kB1,155.0 kB [zoznam súborov]
mipsel 0.9.7-1+b2 107.5 kB832.0 kB [zoznam súborov]
ppc64el 0.9.7-1+b2 105.7 kB1,178.0 kB [zoznam súborov]
s390x 0.9.7-1+b1 103.9 kB1,068.0 kB [zoznam súborov]