[ buster ] [ bullseye ] [ sid ]

Source Package: haskell-cryptol (3.0.0-1)

Links for haskell-cryptol

Debian Resources:

Maintainers:

External Resources:

Homepage [www.cryptol.net]

The following binary packages are built from this source package:

cryptol: Domænespecifikt sprog for kryptografi
libghc-cryptol-dev: Domænespecifikt sprog for kryptografi
libghc-cryptol-doc: Domænespecifik sprog for kryptografi - dokumentation
libghc-cryptol-prof: Domænespecifik sprog for kryptografi - profileringsbiblioteker

Other Packages Related to haskell-cryptol

build-depends

build-depends-indep

adep: cdbs

Fælles byggesystem for Debianpakker
adep: debhelper (>= 10)

Hjælpeprogrammer for debian/rules
adep: ghc (>= 8.4.3)

Glasgow Haskells kompileringssystem
adep: ghc-prof

Profileringsbiblioteker for Glasgow Haskell Compilation-system
adep: haskell-devscripts (>= 0.13)

Debinaværktøjer til at bygge Haskell-pakker (med hscolour)
adep: libghc-graphscc-dev (>= 1.0.4)

Tarjans algoritme for beregning af SCC'er for en graf
adep: libghc-graphscc-prof

Tarjans algoritme for beregning af SCC'er for en graf - profileringsbiblioteker
adep: libghc-memotrie-dev (>= 0.6)

Trie-baseret memo-funktioner
adep: libghc-memotrie-dev (<< 0.7)

Trie-baseret memo-funktioner
adep: libghc-memotrie-prof

Trie-baseret memo-funktioner - profileringsbiblioteker
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)

Bitvektordatatype parameteropsat af vektorbredden
adep: libghc-bv-sized-dev (<< 1.1)

Bitvektordatatype parameteropsat af vektorbredden
adep: libghc-bv-sized-prof

Bitvektordatatype parameteropsat af vektorbredden - profileringsbiblioteker
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)

Hurtig, ren og praktisk SHA-256-implementering
adep: libghc-cryptohash-sha1-dev (<< 0.12)

Hurtig, ren og praktisk SHA-256-implementering
adep: libghc-cryptohash-sha1-prof

Hurtig, ren og praktisk SHA-1-implementering - profileringsbiblioteker
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)

Streng med flere linjer/here-dokument der bruger QuasiQuotes
adep: libghc-heredoc-prof

Streng med flere linjer/here-dokument der bruger QuasiQuotes - profileringsbiblioteker
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 til libBF-biblioteket
adep: libghc-libbf-dev (<< 0.7)

Binding til libBF-biblioteket
adep: libghc-libbf-prof

Binding til libBF-biblioteket - profileringsbiblioteker
adep: libghc-libffi-dev (>= 0.2)

En binding til libffi
adep: libghc-libffi-prof

En binding til libffi - profileringsbiblioteker
adep: libghc-monad-control-dev (>= 1.0)

Monadtransformere til kontrol af løfteoperationer
adep: libghc-monad-control-prof

Monadtransformere til kontrol af løfteoperationer - profileringsbiblioteker
adep: libghc-monadlib-dev (>= 3.7.2)

Samling af nomad-transformerer
adep: libghc-monadlib-prof

Samling af monad-transformere - profileringsbiblioteker
adep: libghc-panic-dev (>= 0.3)

Praktisk måde til panic
adep: libghc-panic-prof

Praktisk måde til panic - profileringsbiblioteker
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)

Symbolsk Haskell-teoribeviser der bruger SMT-løsning
adep: libghc-sbv-dev (<< 10.3)

Symbolsk Haskell-teoribeviser der bruger SMT-løsning
adep: libghc-sbv-prof

Symbolsk Haskell-teoribeviser der bruger SMT-løsning - profileringsbiblioteker
adep: libghc-simple-smt-dev (>= 0.9.7)

En simpel måde at interagere med en SMT-løserproces
adep: libghc-simple-smt-prof

En simpel måde at interagere med en SMT-løserproces - profileringsbiblioteker
adep: libghc-strict-dev

Strict-varianter for Haskells standarddatatyper
adep: libghc-strict-prof

Strict-varianter for Haskells standarddatatyper - profileringsbiblioteker
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)

Løft beregninger fra bunden af en transformerstak
adep: libghc-transformers-base-prof

Løft beregninger fra bunden af en transformerstak - profileringsbiblioteker
adep: alex

Leksikal analysegenerator for Haskell
adep: happy

Fortolkeropretter for Haskell
adep: libghc-vector-dev

Effektive array'er for Haskell
adep: libghc-vector-prof

Effektive array'er for Haskell - profileringsbiblioteker
adep: libghc-what4-dev (>= 1.4)

Understøttelse af symbolske værdier uafhængig af løser for udstedelse af forespørgsler
adep: libghc-what4-dev (<< 1.6)

Understøttelse af symbolske værdier uafhængig af løser for udstedelse af forespørgsler
adep: libghc-what4-prof

Solver-agnostic symbolic values support for issuing queries; profiling libraries
adep: libghc-ansi-terminal-dev

Simpel ANSI-terminalunderstøttelse, med Windows-kompatibilitet
adep: libghc-blaze-html-dev

HTML combinator-bibliotek for Haskell
adep: libghc-blaze-html-prof

HTML combinator-bibliotek for Haskell - profileringsbiblioteker
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

Redskaber og kombinatorer til at fortolke kommandolinjetilvalg
adep: libghc-optparse-applicative-prof

Redskaber og kombinatorer til at fortolke kommandolinjetilvalg - profileringsbiblioteker
adep: libghc-temporary-dev

Temporary files and directories
adep: libghc-temporary-prof

Temporary files and directories; profiling libraries

idep: ghc-doc

Dokumentation for Glasgow Haskell Compilation-systemet
idep: libghc-graphscc-doc

Tarjans algoritme for beregning af SCC'er for en graf - dokumentation
idep: libghc-memotrie-doc

Trie-baseret memo-funktioner - dokumentation
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

Bitvektordatatype parameteropsat af vektorbredden - dokumentation
idep: libghc-criterion-measurement-doc

Criterion measurement functionality and associated types; documentation
idep: libghc-cryptohash-sha1-doc

Hurtig, ren og praktisk SHA-256-implementering - dokumentation
idep: libghc-gitrev-doc

compile git revision info into Haskell projects; documentation
idep: libghc-heredoc-doc

Streng med flere linjer/here-dokument der bruger QuasiQuotes - dokumentation
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 til libBF-biblioteket - dokumentation
idep: libghc-libffi-doc

En binding til libffi - dokumentation
idep: libghc-monad-control-doc

Monadtransformere til kontrol af løfteoperationer - dokumentation
idep: libghc-monadlib-doc

Samling af monad-transformere - dokumentation
idep: libghc-panic-doc

Praktisk måde til panic - dokumentation
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

Symbolsk Haskell-teoribeviser der bruger SMT-løsning - dokumentation
idep: libghc-simple-smt-doc

En simpel måde at interagere med en SMT-løserproces - dokumentation
idep: libghc-strict-doc

Strict-varianter for Haskells standarddatatyper - dokumentation
idep: libghc-tf-random-doc

high-quality splittable pseudorandom number generator; documentation
idep: libghc-transformers-base-doc

Løft beregninger fra bunden af en transformerstak - dokumentation
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

File	Size (in kB)	MD5 checksum
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

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