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

Pakiet: libghc-sbv-dev (10.2-2 i inne)

Odnośniki dla libghc-sbv-dev

Screenshot

Zasoby systemu Debian:

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

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

symbolic Haskell theorem prover using SMT solving

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

Inne pakiety związane z libghc-sbv-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libghc-sbv-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 10.2-2 10 721,7 KiB128 228,0 KiB [lista plików]
amd64 10.2-2+b1 6 567,9 KiB66 688,0 KiB [lista plików]
arm64 10.2-2+b1 7 130,0 KiB79 328,0 KiB [lista plików]
armel 10.2-2+b1 9 280,3 KiB86 838,0 KiB [lista plików]
armhf 10.2-2+b1 9 158,6 KiB85 412,0 KiB [lista plików]
hppa (port nieoficjalny) 10.2-2+b2 13 302,5 KiB129 809,0 KiB [lista plików]
i386 10.2-2+b1 10 470,8 KiB93 722,0 KiB [lista plików]
ia64 (port nieoficjalny) 10.2-1+b2 14 547,3 KiB252 709,0 KiB [lista plików]
loong64 (port nieoficjalny) 10.2-2+b1 14 252,3 KiB168 189,0 KiB [lista plików]
m68k (port nieoficjalny) 8.17-1+b2 10 622,0 KiB98 607,0 KiB [lista plików]
mips64el 10.2-2+b1 9 652,5 KiB122 890,0 KiB [lista plików]
ppc64 (port nieoficjalny) 10.2-2 8 798,5 KiB126 204,0 KiB [lista plików]
ppc64el 10.2-2 9 204,5 KiB113 064,0 KiB [lista plików]
riscv64 10.2-2 12 820,3 KiB149 635,0 KiB [lista plików]
s390x 10.2-2 12 146,9 KiB149 367,0 KiB [lista plików]
sparc64 (port nieoficjalny) 10.2-2 11 516,0 KiB171 284,0 KiB [lista plików]
x32 (port nieoficjalny) 8.17-1+b2 12 446,8 KiB120 558,0 KiB [lista plików]