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

Balík: libghc-sbv-prof (7.13-1 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) 7.13-1+b2 4,920.7 kB67,327.0 kB [zoznam súborov]
amd64 7.13-1+b2 3,331.4 kB40,382.0 kB [zoznam súborov]
arm64 7.13-1+b2 3,737.2 kB46,555.0 kB [zoznam súborov]
armel 7.13-1+b1 3,607.7 kB34,868.0 kB [zoznam súborov]
armhf 7.13-1+b3 3,569.1 kB34,129.0 kB [zoznam súborov]
hppa (neoficiálny port) 7.13-1+b2 6,055.3 kB63,481.0 kB [zoznam súborov]
i386 7.13-1+b2 3,344.0 kB30,327.0 kB [zoznam súborov]
m68k (neoficiálny port) 7.13-1+b2 4,787.9 kB48,916.0 kB [zoznam súborov]
mips64el 7.13-1+b1 4,601.6 kB64,526.0 kB [zoznam súborov]
mipsel 7.13-1+b2 4,297.1 kB44,784.0 kB [zoznam súborov]
powerpcspe (neoficiálny port) 7.5-1+b1 3,766.0 kB42,974.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 7.13-1+b3 4,227.3 kB67,202.0 kB [zoznam súborov]
ppc64el 7.13-1+b2 4,456.0 kB64,919.0 kB [zoznam súborov]
riscv64 (neoficiálny port) 7.13-1+b1 8,095.0 kB115,352.0 kB [zoznam súborov]
s390x 7.13-1+b2 4,086.5 kB57,191.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 7.13-1+b3 6,321.9 kB109,784.0 kB [zoznam súborov]
x32 (neoficiálny port) 7.13-1+b3 5,503.3 kB53,353.0 kB [zoznam súborov]