все параметры
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  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-2 10 721,7 Кб128 228,0 Кб [список файлов]
amd64 10.2-2+b1 6 567,9 Кб66 688,0 Кб [список файлов]
arm64 10.2-2+b1 7 130,0 Кб79 328,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+b2 13 302,5 Кб129 809,0 Кб [список файлов]
i386 10.2-2+b1 10 470,8 Кб93 722,0 Кб [список файлов]
ia64 (неофициальный перенос) 10.2-1+b2 14 547,3 Кб252 709,0 Кб [список файлов]
loong64 (неофициальный перенос) 10.2-2+b1 14 252,3 Кб168 189,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 Кб [список файлов]