Tarkennettu haku
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: haskell-simple-smt  ]

Paketti: libghc-simple-smt-dev (0.9.7-3 ja muut)

Links for libghc-simple-smt-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-simple-smt:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

A simple way to interact with an SMT solver process.

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. See http://www.haskell.org/ for more information on Haskell.

Muut pakettiin libghc-simple-smt-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-simple-smt-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 0.9.7-3 137.6 kt1,366.0 kt [tiedostoluettelo]
amd64 0.9.7-3+b1 96.8 kt799.0 kt [tiedostoluettelo]
arm64 0.9.7-3+b1 96.9 kt937.0 kt [tiedostoluettelo]
armel 0.9.7-3 126.9 kt1,023.0 kt [tiedostoluettelo]
armhf 0.9.7-3+b1 121.2 kt1,009.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 0.9.7-3+b1 162.5 kt1,300.0 kt [tiedostoluettelo]
i386 0.9.7-3+b1 140.8 kt975.0 kt [tiedostoluettelo]
ia64 (epävirallinen siirros) 0.9.7-2+b1 159.7 kt2,552.0 kt [tiedostoluettelo]
loong64 (epävirallinen siirros) 0.9.7-3+b1 172.4 kt1,821.0 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 0.9.7-2 140.6 kt1,092.0 kt [tiedostoluettelo]
mips64el 0.9.7-3 127.9 kt1,342.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 0.9.7-3 118.0 kt1,354.0 kt [tiedostoluettelo]
ppc64el 0.9.7-3 119.5 kt1,259.0 kt [tiedostoluettelo]
riscv64 0.9.7-3 162.0 kt1,598.0 kt [tiedostoluettelo]
s390x 0.9.7-3 154.1 kt1,616.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 0.9.5-1 125.5 kt996.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 0.9.7-3 146.2 kt2,194.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 0.9.7-2 162.1 kt1,158.0 kt [tiedostoluettelo]