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

Balík: libghc-sbv-prof (10.2-2 a iné)

Odkazy pre libghc-sbv-prof

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík haskell-sbv:

Správcovia:

Externé zdroje:

Podobné balíky:

symbolic Haskell theorem prover using SMT solving; profiling libraries

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

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-sbv-prof

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

Stiahnuť libghc-sbv-prof

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 10.2-1+b1 9,173.2 kB119,772.0 kB [zoznam súborov]
amd64 10.2-2+b1 5,892.2 kB67,597.0 kB [zoznam súborov]
arm64 10.2-2+b1 6,863.4 kB86,054.0 kB [zoznam súborov]
armel 10.2-2+b1 8,037.7 kB80,266.0 kB [zoznam súborov]
armhf 10.2-2+b1 7,897.2 kB78,659.0 kB [zoznam súborov]
hppa (neoficiálny port) 10.2-2+b1 10,613.8 kB100,009.0 kB [zoznam súborov]
i386 10.2-2+b1 8,472.5 kB73,860.0 kB [zoznam súborov]
ia64 (neoficiálny port) 10.2-1+b2 12,554.8 kB229,449.0 kB [zoznam súborov]
m68k (neoficiálny port) 8.17-1+b2 8,359.1 kB88,233.0 kB [zoznam súborov]
mips64el 10.2-2+b1 7,957.6 kB102,571.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 10.2-2 7,507.3 kB112,620.0 kB [zoznam súborov]
ppc64el 10.2-2 7,965.6 kB108,831.0 kB [zoznam súborov]
riscv64 10.2-2 12,841.8 kB163,821.0 kB [zoznam súborov]
s390x 10.2-2 9,089.6 kB134,026.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 10.2-2 10,338.4 kB165,200.0 kB [zoznam súborov]
x32 (neoficiálny port) 8.17-1+b2 8,970.3 kB91,700.0 kB [zoznam súborov]