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

Paketti: libghc-sbv-prof (10.2-1 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-1+b2 6,083.2 kt72,746.0 kt [tiedostoluettelo]
arm64 10.2-1+b2 7,149.0 kt94,015.0 kt [tiedostoluettelo]
armel 10.2-1+b2 8,623.2 kt86,597.0 kt [tiedostoluettelo]
armhf 10.2-1+b2 8,504.8 kt84,787.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 10.2-1+b2 11,288.2 kt109,475.0 kt [tiedostoluettelo]
i386 10.2-1+b1 8,905.0 kt80,331.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-1+b2 8,213.1 kt111,747.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 10.2-1+b4 7,809.3 kt122,744.0 kt [tiedostoluettelo]
ppc64el 10.2-1+b2 8,192.8 kt118,528.0 kt [tiedostoluettelo]
riscv64 10.2-1+b2 13,719.5 kt179,854.0 kt [tiedostoluettelo]
s390x 10.2-1+b2 10,049.9 kt146,854.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 10.2-1+b3 10,775.3 kt181,743.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 8.17-1+b2 8,970.3 kt91,700.0 kt [tiedostoluettelo]