Пакет: libghc-djinn-lib-dev (0.0.1.4-2 и други) [debports]

Връзки за libghc-djinn-lib-dev

Ресурси за Debian:

Доклади за грешки

Изтегляне на пакет-източник .

Няма съвпадения

Отговорници:

Външни препратки:

Начална страница [www.augustsson.net]

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

Generate Haskell code from a type

Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources.

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

Други пакети, свързани с libghc-djinn-lib-dev

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.2)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libghc-base-dev-4.18.2.1-e617e

виртуален пакет, предлаган от ghc
dep: libghc-containers-dev-0.6.7-338ff

виртуален пакет, предлаган от ghc
dep: libghc-mtl-dev-2.3.1-c3eca

виртуален пакет, предлаган от ghc
dep: libghc-pretty-dev-1.1.3.6-139d3

виртуален пакет, предлаган от ghc
dep: libgmp10 (>= 2:6.3.0 dfsg)

Multiprecision arithmetic library

Изтегляне на libghc-djinn-lib-dev

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
hppa (неофициална архитектура)	0.0.1.4-2 b3	385,8 кБ	3 259,0 кБ	[списък на файловете]