Sauter la navigation du site

Packages

• About Debian
• Getting Debian
• Assistance
• Developers' Corner

 / Paquets / sid (unstable) / Source / misc / haskell-cryptol

[  buster  ] [  bullseye  ] [  sid  ]

Liens pour haskell-cryptol

Ressources Debian :

• Rapports de bogues
• Developer Information
• Journal des modifications Debian
• Fichier de licence
• Dépôt de source Debian (Git)
• Suivis des correctifs pour Debian

Responsables :

• Debian Haskell Group (Page QA, Archive du courrier électronique)
• Clint Adams (Page QA)

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 de Debian pour construire des paquets Haskell (avec 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

  générateur d'analyseurs lexicaux pour Haskell

• adep: happy

  création d’analyseurs syntaxiques pour 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 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-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

Fichier	Taille (en ko)	Somme MD5
haskell-cryptol_3.0.0-1.dsc	4,8 ko	ce559b1f5ba9d9eef5ff5d3a45099d72
haskell-cryptol_3.0.0.orig.tar.gz	515,6 ko	2acb97e94b649a3ad79a5a804e3f79aa
haskell-cryptol_3.0.0-1.debian.tar.xz	3,7 ko	20bc1749f3d691d4f0dd0193c873826a

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