всички настройки
[  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 кБ [списък на файловете]