Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-sbv  ]

Paketti: libghc-sbv-prof (10.2-2 ja muut)

Links for libghc-sbv-prof

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-sbv:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libghc-sbv-prof liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-sbv-prof

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 10.2-1+b1 9,173.2 kt119,772.0 kt [tiedostoluettelo]
amd64 10.2-2+b1 5,892.2 kt67,597.0 kt [tiedostoluettelo]
arm64 10.2-2+b1 6,863.4 kt86,054.0 kt [tiedostoluettelo]
armel 10.2-2+b1 8,037.7 kt80,266.0 kt [tiedostoluettelo]
armhf 10.2-2+b1 7,897.2 kt78,659.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 10.2-2+b1 10,613.8 kt100,009.0 kt [tiedostoluettelo]
i386 10.2-2+b1 8,472.5 kt73,860.0 kt [tiedostoluettelo]
ia64 (epävirallinen siirros) 10.2-1+b2 12,554.8 kt229,449.0 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 8.17-1+b2 8,359.1 kt88,233.0 kt [tiedostoluettelo]
mips64el 10.2-2+b1 7,957.6 kt102,571.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 10.2-2 7,507.3 kt112,620.0 kt [tiedostoluettelo]
ppc64el 10.2-2 7,965.6 kt108,831.0 kt [tiedostoluettelo]
riscv64 10.2-2 12,841.8 kt163,821.0 kt [tiedostoluettelo]
s390x 10.2-2 9,089.6 kt134,026.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 10.2-2 10,338.4 kt165,200.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 8.17-1+b2 8,970.3 kt91,700.0 kt [tiedostoluettelo]