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

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

Ссылки для 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-3 137,6 Кб1 366,0 Кб [список файлов]
amd64 0.9.7-3+b1 96,8 Кб799,0 Кб [список файлов]
arm64 0.9.7-3+b1 96,9 Кб937,0 Кб [список файлов]
armel 0.9.7-3 126,9 Кб1 023,0 Кб [список файлов]
armhf 0.9.7-3+b1 121,2 Кб1 009,0 Кб [список файлов]
hppa (неофициальный перенос) 0.9.7-3+b1 162,5 Кб1 300,0 Кб [список файлов]
i386 0.9.7-3+b1 140,8 Кб975,0 Кб [список файлов]
ia64 (неофициальный перенос) 0.9.7-2+b1 159,7 Кб2 552,0 Кб [список файлов]
loong64 (неофициальный перенос) 0.9.7-3+b1 172,4 Кб1 821,0 Кб [список файлов]
m68k (неофициальный перенос) 0.9.7-2 140,6 Кб1 092,0 Кб [список файлов]
mips64el 0.9.7-3 127,9 Кб1 342,0 Кб [список файлов]
ppc64 (неофициальный перенос) 0.9.7-3 118,0 Кб1 354,0 Кб [список файлов]
ppc64el 0.9.7-3 119,5 Кб1 259,0 Кб [список файлов]
riscv64 0.9.7-3 162,0 Кб1 598,0 Кб [список файлов]
s390x 0.9.7-3 154,1 Кб1 616,0 Кб [список файлов]
sh4 (неофициальный перенос) 0.9.5-1 125,5 Кб996,0 Кб [список файлов]
sparc64 (неофициальный перенос) 0.9.7-3 146,2 Кб2 194,0 Кб [список файлов]
x32 (неофициальный перенос) 0.9.7-2 162,1 Кб1 158,0 Кб [список файлов]