[ jammy ] [ noble ]

Source Package: haskell-cryptol (2.8.0-1build5.1) [universe]

Links for haskell-cryptol

Ubuntu-palvelut:

Ylläpitäjä:

Ubuntu Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Haskell Group (Mail Archive)
Clint Adams

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Kotisivu [www.cryptol.net]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

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

Muut pakettiin haskell-cryptol liittyvät paketit

build-depends

build-depends-indep

adep: cdbs

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

helper programs for 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.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

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

Tiedosto	Koko (kt)	MD5-tarkiste
haskell-cryptol_2.8.0-1build5.1.dsc	3.6 kt	b44a889e6d0987cc4f622f397270fa99
haskell-cryptol_2.8.0.orig.tar.gz	322.7 kt	928bae0363138070b7a7fc9cdbdc9ee8
haskell-cryptol_2.8.0-1build5.1.debian.tar.xz	4.7 kt	8e1b917204db4dbcb8d238bc60769191

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
Debian Package Source Repository (Browsable): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-cryptol