[ buster ] [ bullseye ] [ sid ]

Paquet source : haskell-cryptol (2.8.0-1)

Liens pour haskell-cryptol

Ressources Debian :

Responsables :

Ressources externes :

Page d'accueil [www.cryptol.net]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

cryptol: langage dédié à la crypotographie
libghc-cryptol-dev: langage dédié à la crypotographie
libghc-cryptol-doc: domain-specific language of cryptography; documentation
libghc-cryptol-prof: domain-specific language of cryptography; profiling libraries

Autres paquets associés à haskell-cryptol

build-depends

build-depends-indep

adep: cdbs

système de construction modulaire pour les paquets Debian
adep: debhelper (>= 10)

programmes assistants pour debian/rules
adep: ghc (>= 8.4.3)

Le système de compilation Haskell de Glasgow
adep: ghc-prof

bibliothèques de profilage pour le système de compilation Haskell Glasgow
adep: haskell-devscripts (>= 0.13)

outils pour aider les développeurs de Debian à construire des paquets d’Haskell
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.12)

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

compatibility layer for base; profiling libraries
adep: libghc-cryptohash-sha1-dev (>= 0.11)

fast, pure and practical SHA-1 implementation
adep: libghc-cryptohash-sha1-dev (<< 0.12)

fast, pure and practical SHA-1 implementation
adep: libghc-cryptohash-sha1-prof

fast, pure and practical SHA-1 implementation; 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 (>= 8.1)

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

générateur d'analyseurs lexicaux pour Haskell
adep: happy

création d’analyseurs syntaxiques pour 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 pour le système de compilation Haskell Glasgow
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-cryptohash-sha1-doc

fast, pure and practical SHA-1 implementation; 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

Fichier	Taille (en ko)	Somme MD5
haskell-cryptol_2.8.0-1.dsc	3,5 ko	5c05b74d5bc5873759c18654ab031bf9
haskell-cryptol_2.8.0.orig.tar.gz	322,7 ko	928bae0363138070b7a7fc9cdbdc9ee8
haskell-cryptol_2.8.0-1.debian.tar.xz	4,4 ko	f7c6ffd76f415753ce86b9b547c64b45

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-cryptol