preskočiť navigáciu

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Balíky / buster (oldoldstable) / Zdroj / misc / haskell-cryptol

[  buster  ] [  bullseye  ] [  sid  ]

Odkazy pre haskell-cryptol

Zdroje Debian:

• Hlásenia chýb
• Developer Information
• Záznam zmien Debian
• Autori a licencia
• Zdrojové úložisko Debianu (Git)
• Sledovanie záplat Debian

Správcovia:

• Debian Haskell Group (Stránka QA, Konferencia)
• Clint Adams (Stránka QA)

Externé zdroje:

• Domovská stránka [www.cryptol.net]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

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

Ostatné balíky súvisiace s balíkom haskell-cryptol

build-depends

build-depends-indep

• adep: cdbs

  common build system for Debian packages

• adep: debhelper (>= 10)

  pomocné programy pre debian/rules

• adep: ghc (>= 8.4.3)

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

  compatibility layer for base

• adep: libghc-base-compat-prof

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

  generátor náhodných čísel pre Haskell

• adep: libghc-random-prof

  Random number generator for Haskell; profiling libraries

• adep: libghc-sbv-dev (>= 7.7)

  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)

  kvalitný generátor pseudonáhodných čísel s rozdeľovaním

• 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

  lexikálny analyzátor pre Haskell

• adep: happy

  generátor syntaktických analyzátorov pre 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

  dokumentácia systému Glasgow Haskell Compilation

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

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
haskell-cryptol_2.6.0-3.dsc	3.3 kB	af6516d181c3514f565cca2139a14075
haskell-cryptol_2.6.0.orig.tar.gz	355.4 kB	e4d7753a46e26d6f446048ea794f61ca
haskell-cryptol_2.6.0-3.debian.tar.xz	3.3 kB	5cd54b138b6444d82359ceafbe218eda

Úložisko zdrojových balíkov Debianu (VCS: Git)

https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]

Úložisko zdrojových balíkov Debianu (možno prezerať)

https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-cryptol