[ buster ] [ bullseye ] [ sid ]

Quellcode-Paket: haskell-cryptol (3.0.0-1)

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)

The Glasgow Haskell Compilation system
adep: ghc-prof

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

Debian tools to build Haskell packages (with hscolour)
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-memotrie-dev (>= 0.6)

trie-based memo functions
adep: libghc-memotrie-dev (<< 0.7)

trie-based memo functions
adep: libghc-memotrie-prof

trie-based memo functions; profiling libraries
adep: libghc-arithmoi-dev (>= 0.12)

efficient basic number-theoretic functions
adep: libghc-arithmoi-prof

efficient basic number-theoretic functions; profiling libraries
adep: libghc-async-dev (>= 2.2)

run IO operations asynchronously and wait for their results
adep: libghc-async-dev (<< 2.3)

run IO operations asynchronously and wait for their results
adep: libghc-async-prof

run IO operations asynchronously and wait for their results; profiling libs
adep: libghc-base-compat-dev (>= 0.6)

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

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

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

bitvector datatype parameterized by the vector width
adep: libghc-bv-sized-dev (<< 1.1)

bitvector datatype parameterized by the vector width
adep: libghc-bv-sized-prof

bitvector datatype parameterized by the vector width; profiling libraries
adep: libghc-criterion-measurement-dev

Criterion measurement functionality and associated types
adep: libghc-criterion-measurement-prof

Criterion measurement functionality and associated types; 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-hgmp-dev

Haskell interface to GMP
adep: libghc-hgmp-prof

Haskell interface to GMP; profiling libraries
adep: libghc-language-c99-dev

Impl. of C99 AST that strictly follows the standard
adep: libghc-language-c99-prof

Impl. of C99 AST that strictly follows the standard; profiling libraries
adep: libghc-language-c99-simple-dev

C-like AST to simplify writing C99 programs.
adep: libghc-language-c99-simple-prof

C-like AST to simplify writing C99 programs.; profiling libraries
adep: libghc-libbf-dev (>= 0.6)

Binding to the libBF library
adep: libghc-libbf-dev (<< 0.7)

Binding to the libBF library
adep: libghc-libbf-prof

Binding to the libBF library; profiling libraries
adep: libghc-libffi-dev (>= 0.2)

A binding to libffi
adep: libghc-libffi-prof

A binding to libffi; 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-parameterized-utils-dev (>= 2.0.2)

Classes/data structures for data-kind indexed types
adep: libghc-parameterized-utils-prof

Classes/data structures for data-kind indexed types; profiling libraries
adep: libghc-pretty-show-dev

A Haskell library for pretty printing data structures
adep: libghc-pretty-show-prof

Profiling libraries for pretty printing Haskell data structures; profiling libraries
adep: libghc-prettyprinter-dev (>= 1.7.0)

modern, easy-to-use, extensible prettyprinter
adep: libghc-prettyprinter-prof

modern, easy-to-use, extensible prettyprinter; profiling libraries
adep: libghc-sbv-dev (>= 9.1)

symbolic Haskell theorem prover using SMT solving
adep: libghc-sbv-dev (<< 10.3)

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.9.7)

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-vector-dev

Efficient Arrays for Haskell
adep: libghc-vector-prof

Efficient Arrays for Haskell; profiling libraries
adep: libghc-what4-dev (>= 1.4)

Solver-agnostic symbolic values support for issuing queries
adep: libghc-what4-dev (<< 1.6)

Solver-agnostic symbolic values support for issuing queries
adep: libghc-what4-prof

Solver-agnostic symbolic values support for issuing queries; profiling libraries
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
adep: libghc-extra-dev

extra functions for base library
adep: libghc-extra-prof

extra functions for base library; profiling libraries
adep: libghc-optparse-applicative-dev

utilities and combinators for parsing command-line options
adep: libghc-optparse-applicative-prof

utilities and combinators for parsing command-line options; profiling libraries
adep: libghc-temporary-dev

Temporary files and directories
adep: libghc-temporary-prof

Temporary files and directories; 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-memotrie-doc

trie-based memo functions; documentation
idep: libghc-arithmoi-doc

efficient basic number-theoretic functions; documentation
idep: libghc-async-doc

run IO operations asynchronously and wait for their results; documentation
idep: libghc-base-compat-doc

compatibility layer for base; documentation
idep: libghc-bv-sized-doc

bitvector datatype parameterized by the vector width; documentation
idep: libghc-criterion-measurement-doc

Criterion measurement functionality and associated types; 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-hgmp-doc

Haskell interface to GMP; documentation
idep: libghc-language-c99-doc

Impl. of C99 AST that strictly follows the standard; documentation
idep: libghc-language-c99-simple-doc

C-like AST to simplify writing C99 programs.; documentation
idep: libghc-libbf-doc

Binding to the libBF library; documentation
idep: libghc-libffi-doc

A binding to libffi; 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-parameterized-utils-doc

Classes/data structures for data-kind indexed types; documentation
idep: libghc-pretty-show-doc

Documentation for Haskell pretty printing library; documentation
idep: libghc-prettyprinter-doc

modern, easy-to-use, extensible prettyprinter; 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
idep: libghc-vector-doc

Efficient Arrays for Haskell; documentation
idep: libghc-what4-doc

Solver-agnostic symbolic values support for issuing queries; documentation

Download haskell-cryptol

Datei	Größe (in kB)	MD5-Prüfsumme
haskell-cryptol_3.0.0-1.dsc	4,8 kB	ce559b1f5ba9d9eef5ff5d3a45099d72
haskell-cryptol_3.0.0.orig.tar.gz	515,6 kB	2acb97e94b649a3ad79a5a804e3f79aa
haskell-cryptol_3.0.0-1.debian.tar.xz	3,7 kB	20bc1749f3d691d4f0dd0193c873826a

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