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

Paketti: libghc-smtlib-dev (1.1-4 ja muut)

Links for libghc-smtlib-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-smtlib:

Ylläpitäjät:

Samankaltaisia paketteja:

A library for working with the SMTLIB format.

. This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Muut pakettiin libghc-smtlib-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-smtlib-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 1.1-4 590.3 kt7,158.0 kt [tiedostoluettelo]
amd64 1.1-4+b1 398.1 kt4,134.0 kt [tiedostoluettelo]
arm64 1.1-4+b1 418.3 kt4,861.0 kt [tiedostoluettelo]
armel 1.1-4 505.9 kt5,090.0 kt [tiedostoluettelo]
armhf 1.1-4+b1 491.7 kt5,025.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 1.1-4+b1 736.9 kt7,107.0 kt [tiedostoluettelo]
i386 1.1-4+b1 602.6 kt5,459.0 kt [tiedostoluettelo]
ia64 (epävirallinen siirros) 1.1-3+b1 683.8 kt13,949.0 kt [tiedostoluettelo]
loong64 (epävirallinen siirros) 1.1-4+b1 784.2 kt9,384.0 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 1.1-3 666.6 kt6,301.0 kt [tiedostoluettelo]
mips64el 1.1-4 526.9 kt6,894.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 1.1-4 508.9 kt7,238.0 kt [tiedostoluettelo]
ppc64el 1.1-4 516.8 kt6,534.0 kt [tiedostoluettelo]
riscv64 1.1-4 712.9 kt8,290.0 kt [tiedostoluettelo]
s390x 1.1-4 624.9 kt8,175.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 1.1-2 119.1 kt1,513.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 1.1-4 650.6 kt9,748.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 1.1-3 763.5 kt7,242.0 kt [tiedostoluettelo]