[ buster ] [ bullseye ] [ sid ]

Пакет исходного кода: haskell-cryptol (2.6.0-3)

Ссылки для haskell-cryptol

Ресурсы Debian:

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

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

Сайт [www.cryptol.net]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

cryptol: domain-specific language of cryptography
libghc-cryptol-dev: domain-specific language of cryptography
libghc-cryptol-doc: domain-specific language of cryptography; documentation
libghc-cryptol-prof: domain-specific language of cryptography; profiling libraries

Другие пакеты, относящиеся к haskell-cryptol

для сборки

build-depends-indep

adep: cdbs

common build system for Debian packages
adep: debhelper (>= 10)

вспомогательные программы для debian/rules
adep: ghc (>= 8.4.3)

The Glasgow Haskell Compilation system
adep: ghc-prof

Profiling libraries for the Glasgow Haskell Compilation system
adep: haskell-devscripts (>= 0.13)

Tools to help Debian developers build Haskell packages
adep: libghc-graphscc-dev (>= 1.0.4)

Tarjan's algorithm for computing the SCCs of a graph
adep: libghc-graphscc-prof

Tarjan's algorithm for computing the SCCs of a graph; profiling libraries
adep: libghc-base-compat-dev (>= 0.6)

compatibility layer for base
adep: libghc-base-compat-dev (<< 0.11)

compatibility layer for base
adep: libghc-base-compat-prof

compatibility layer for base; profiling libraries
adep: libghc-gitrev-dev (>= 1.0)

compile git revision info into Haskell projects
adep: libghc-gitrev-prof

compile git revision info into Haskell projects; profiling libraries
adep: libghc-heredoc-dev (>= 0.2)

multi-line string / here document using QuasiQuotes
adep: libghc-heredoc-prof

multi-line string / here document using QuasiQuotes; profiling libraries
adep: libghc-monad-control-dev (>= 1.0)

Monad transformers to lift control operations
adep: libghc-monad-control-prof

Monad transformers to lift control operations; profiling libraries
adep: libghc-monadlib-dev (>= 3.7.2)

collection of monad transformers
adep: libghc-monadlib-prof

collection of monad transformers; profiling libraries
adep: libghc-panic-dev (>= 0.3)

convenient way to panic
adep: libghc-panic-prof

convenient way to panic; profiling libraries
adep: libghc-random-dev (>= 1.0.1)

Random number generator for Haskell
adep: libghc-random-prof

Random number generator for Haskell; profiling libraries
adep: libghc-sbv-dev (>= 7.7)

symbolic Haskell theorem prover using SMT solving
adep: libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries
adep: libghc-simple-smt-dev (>= 0.7.1)

A simple way to interact with an SMT solver process.
adep: libghc-simple-smt-prof

A simple way to interact with an SMT solver process.; profiling libraries
adep: libghc-strict-dev

Strict variants of standard Haskell datatypes
adep: libghc-strict-prof

Strict variants of standard Haskell datatypes; profiling libraries
adep: libghc-tf-random-dev (>= 0.5)

high-quality splittable pseudorandom number generator
adep: libghc-tf-random-prof

high-quality splittable pseudorandom number generator; profiling libraries
adep: libghc-transformers-base-dev (>= 0.4)

lift computations from the bottom of a transformer stack
adep: libghc-transformers-base-prof

lift computations from the bottom of a transformer stack; profiling libraries
adep: alex

lexical analyser generator for Haskell
adep: happy

Parser generator for Haskell
adep: libghc-ansi-terminal-dev

Simple ANSI terminal support, with Windows compatibility
adep: libghc-blaze-html-dev

HTML combinator library for Haskell
adep: libghc-blaze-html-prof

HTML combinator library for Haskell; profiling libraries

idep: ghc-doc

Documentation for the Glasgow Haskell Compilation system
idep: libghc-graphscc-doc

Tarjan's algorithm for computing the SCCs of a graph; documentation
idep: libghc-base-compat-doc

compatibility layer for base; documentation
idep: libghc-gitrev-doc

compile git revision info into Haskell projects; documentation
idep: libghc-heredoc-doc

multi-line string / here document using QuasiQuotes; documentation
idep: libghc-monad-control-doc

Monad transformers to lift control operations; documentation
idep: libghc-monadlib-doc

collection of monad transformers; documentation
idep: libghc-panic-doc

convenient way to panic; documentation
idep: libghc-random-doc

Random number generator for Haskell; documentation
idep: libghc-sbv-doc

symbolic Haskell theorem prover using SMT solving; documentation
idep: libghc-simple-smt-doc

A simple way to interact with an SMT solver process.; documentation
idep: libghc-strict-doc

Strict variants of standard Haskell datatypes; documentation
idep: libghc-tf-random-doc

high-quality splittable pseudorandom number generator; documentation
idep: libghc-transformers-base-doc

lift computations from the bottom of a transformer stack; documentation

Download haskell-cryptol

Файл	Размер (в Кб)	Контрольная сумма MD5
haskell-cryptol_2.6.0-3.dsc	3,3 Кб	af6516d181c3514f565cca2139a14075
haskell-cryptol_2.6.0.orig.tar.gz	355,4 Кб	e4d7753a46e26d6f446048ea794f61ca
haskell-cryptol_2.6.0-3.debian.tar.xz	3,3 Кб	5cd54b138b6444d82359ceafbe218eda

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-cryptol