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

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

Ссылки для 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

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 0.9.1-1+b2 95,8 Кб797,0 Кб [список файлов]
arm64 0.9.1-1+b2 107,7 Кб1 046,0 Кб [список файлов]
armhf 0.9.1-1+b2 104,5 Кб814,0 Кб [список файлов]
i386 0.9.1-1+b2 92,8 Кб655,0 Кб [список файлов]