все параметры
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: haskell-simple-smt  ]

Пакет: libghc-simple-smt-dev (0.9.7-2 и другие)

Ссылки для libghc-simple-smt-dev

Screenshot

Ресурсы Debian:

Исходный код haskell-simple-smt:

Сопровождающие:

Внешние ресурсы:

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

A simple way to interact with an SMT solver process.

This package provides a simple way to interact with an SMT solver process, using the SmtLib-2 format.

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

Другие пакеты, относящиеся к libghc-simple-smt-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-simple-smt-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 0.9.7-2+b1 148,1 Кб1 529,0 Кб [список файлов]
amd64 0.9.7-2+b1 108,0 Кб850,0 Кб [список файлов]
arm64 0.9.7-2+b1 109,2 Кб993,0 Кб [список файлов]
armel 0.9.7-2+b2 119,2 Кб1 022,0 Кб [список файлов]
armhf 0.9.7-2+b2 117,9 Кб1 008,0 Кб [список файлов]
hppa (неофициальный перенос) 0.9.7-2+b4 179,3 Кб1 466,0 Кб [список файлов]
i386 0.9.7-2+b1 159,6 Кб1 090,0 Кб [список файлов]
ia64 (неофициальный перенос) 0.9.7-2+b1 159,7 Кб2 552,0 Кб [список файлов]
m68k (неофициальный перенос) 0.9.7-2 140,6 Кб1 092,0 Кб [список файлов]
mips64el 0.9.7-2+b1 137,5 Кб1 442,0 Кб [список файлов]
ppc64 (неофициальный перенос) 0.9.7-2+b1 136,0 Кб1 543,0 Кб [список файлов]
ppc64el 0.9.7-2+b1 137,8 Кб1 417,0 Кб [список файлов]
riscv64 0.9.7-2+b1 156,2 Кб1 586,0 Кб [список файлов]
s390x 0.9.7-2+b1 139,5 Кб1 570,0 Кб [список файлов]
sh4 (неофициальный перенос) 0.9.5-1 125,5 Кб996,0 Кб [список файлов]
sparc64 (неофициальный перенос) 0.9.7-2+b2 162,5 Кб1 945,0 Кб [список файлов]
x32 (неофициальный перенос) 0.9.7-2 162,1 Кб1 158,0 Кб [список файлов]