wszystkie opcje
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: haskell-smtlib  ]

Pakiet: libghc-smtlib-dev (1.1-4 i inne)

Odnośniki dla libghc-smtlib-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego haskell-smtlib:

Opiekunowie:

Podobne pakiety:

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.

Inne pakiety związane z libghc-smtlib-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libghc-smtlib-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 1.1-4 590,3 KiB7 158,0 KiB [lista plików]
amd64 1.1-4+b1 398,1 KiB4 134,0 KiB [lista plików]
arm64 1.1-4+b1 418,3 KiB4 861,0 KiB [lista plików]
armel 1.1-4 505,9 KiB5 090,0 KiB [lista plików]
armhf 1.1-4+b1 491,7 KiB5 025,0 KiB [lista plików]
hppa (port nieoficjalny) 1.1-4+b1 736,9 KiB7 107,0 KiB [lista plików]
i386 1.1-4+b1 602,6 KiB5 459,0 KiB [lista plików]
ia64 (port nieoficjalny) 1.1-3+b1 683,8 KiB13 949,0 KiB [lista plików]
loong64 (port nieoficjalny) 1.1-4+b1 784,2 KiB9 384,0 KiB [lista plików]
m68k (port nieoficjalny) 1.1-3 666,6 KiB6 301,0 KiB [lista plików]
mips64el 1.1-4 526,9 KiB6 894,0 KiB [lista plików]
ppc64 (port nieoficjalny) 1.1-4 508,9 KiB7 238,0 KiB [lista plików]
ppc64el 1.1-4 516,8 KiB6 534,0 KiB [lista plików]
riscv64 1.1-4 712,9 KiB8 290,0 KiB [lista plików]
s390x 1.1-4 624,9 KiB8 175,0 KiB [lista plików]
sh4 (port nieoficjalny) 1.1-2 119,1 KiB1 513,0 KiB [lista plików]
sparc64 (port nieoficjalny) 1.1-4 650,6 KiB9 748,0 KiB [lista plików]
x32 (port nieoficjalny) 1.1-3 763,5 KiB7 242,0 KiB [lista plików]