[ buster ] [ bullseye ] [ sid ]

Quellcode-Paket: haskell-cryptol (2.6.0-3)

Links für haskell-cryptol

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Homepage [www.cryptol.net]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

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

Andere Pakete mit Bezug zu haskell-cryptol

build-depends

build-depends-indep

adep: cdbs

Gemeinsames Build-System für Debian-Pakete
adep: debhelper (>= 10)

Hilfsprogramme für debian/rules
adep: ghc (>= 8.4.3)

Das Glasgow Haskell Compilation System
adep: ghc-prof

Profilierungs-Bibliotheken für das Glasgow Haskell Kompilations-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

Lexikalischer Analysatorgenerator für Haskell
adep: happy

Parser-Generator für 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

Dokumentation für das Glasgow Haskell Compiler-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

Datei	Größe (in kB)	MD5-Prüfsumme
haskell-cryptol_2.6.0-3.dsc	3,3 kB	af6516d181c3514f565cca2139a14075
haskell-cryptol_2.6.0.orig.tar.gz	355,4 kB	e4d7753a46e26d6f446048ea794f61ca
haskell-cryptol_2.6.0-3.debian.tar.xz	3,3 kB	5cd54b138b6444d82359ceafbe218eda

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-cryptol