всички настройки
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: haskell-sbv  ]

Пакет: libghc-sbv-dev (10.2-2 и други)

Връзки за libghc-sbv-dev

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник haskell-sbv.

Отговорници:

Външни препратки:

Подобни пакети:

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.

Други пакети, свързани с libghc-sbv-dev

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libghc-sbv-dev

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 10.2-1+b1 11 487,1 кБ136 801,0 кБ [списък на файловете]
amd64 10.2-2 6 576,9 кБ66 692,0 кБ [списък на файловете]
arm64 10.2-2 7 134,6 кБ79 332,0 кБ [списък на файловете]
armel 10.2-2+b1 9 280,3 кБ86 838,0 кБ [списък на файловете]
armhf 10.2-2+b1 9 158,6 кБ85 412,0 кБ [списък на файловете]
hppa (неофициална архитектура) 10.2-2 13 297,4 кБ129 812,0 кБ [списък на файловете]
i386 10.2-2+b1 10 470,8 кБ93 722,0 кБ [списък на файловете]
ia64 (неофициална архитектура) 10.2-1+b2 14 547,3 кБ252 709,0 кБ [списък на файловете]
m68k (неофициална архитектура) 8.17-1+b2 10 622,0 кБ98 607,0 кБ [списък на файловете]
mips64el 10.2-2+b1 9 652,5 кБ122 890,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 10.2-2 8 798,5 кБ126 204,0 кБ [списък на файловете]
ppc64el 10.2-2 9 204,5 кБ113 064,0 кБ [списък на файловете]
riscv64 10.2-2 12 820,3 кБ149 635,0 кБ [списък на файловете]
s390x 10.2-2 12 146,9 кБ149 367,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 10.2-2 11 516,0 кБ171 284,0 кБ [списък на файловете]
x32 (неофициална архитектура) 8.17-1+b2 12 446,8 кБ120 558,0 кБ [списък на файловете]