[ buster ] [ bullseye ] [ sid ]

Source Package: haskell-cryptol (2.8.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)

Værktøjer til at hjælpe Debianudviklere med at bygge Haskell-pakker
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-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)

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-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-random-dev (>= 1.0.1)

Vilkårlig talopretter for Haskell
adep: libghc-random-prof

random number generator for Haskell; profiling libraries
adep: libghc-sbv-dev (>= 8.1)

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

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

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-base-compat-doc

compatibility layer for base; 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-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-random-doc

random number generator for Haskell; 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

Download haskell-cryptol

File	Size (in kB)	MD5 checksum
haskell-cryptol_2.8.0-1.dsc	3.5 kB	5c05b74d5bc5873759c18654ab031bf9
haskell-cryptol_2.8.0.orig.tar.gz	322.7 kB	928bae0363138070b7a7fc9cdbdc9ee8
haskell-cryptol_2.8.0-1.debian.tar.xz	4.4 kB	f7c6ffd76f415753ce86b9b547c64b45

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