[  etiona  ] [  nabia  ] [  aramo  ]

Liens pour haskell-cryptol

Ressources Trisquel :

• Rapports de bogues
• Changelog
• Fichier de licence
• Dépôt de source Debian (Git)

Responsable :

• Debian Haskell Group (Archive du courrier électronique)

Original Maintainers:

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

Ressources externes :

• Page d'accueil [www.cryptol.net]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

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

Autres paquets associés à haskell-cryptol

build-depends

build-depends-indep

• adep: alex

  lexical analyser generator for Haskell

• adep: cdbs

  common build system for Debian packages

• adep: debhelper (>= 9)

  helper programs for debian/rules

• adep: ghc (>= 8)

  The Glasgow Haskell Compilation system

• adep: ghc-prof

  Profiling libraries for the Glasgow Haskell Compilation system

• adep: happy

  Parser generator for Haskell

• adep: haskell-devscripts (>= 0.13)

  Tools to help Debian developers build Haskell packages

• adep: libghc-ansi-terminal-dev

  Simple ANSI terminal support, with Windows compatibility

• adep: libghc-async-dev (>= 2.0)

  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-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-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-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-old-time-dev (>= 1.1)

  time library

• adep: libghc-old-time-prof

  time library; profiling libraries

• adep: libghc-presburger-dev (>= 1.3)

  decision procedure for quantifier-free linear arithmetic

• adep: libghc-presburger-prof

  decision procedure for quantifier-free linear arithmetic; profiling libraries

• adep: libghc-quickcheck2-dev (>= 2.7)

  Haskell automatic testing library for GHC

• adep: libghc-quickcheck2-prof

  Haskell automatic testing library for GHC; 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 (>= 5.12)

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

  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-smtlib-dev (>= 1.0.7)

  A library for working with the SMTLIB format.

• adep: libghc-smtlib-prof

  A library for working with the SMTLIB format.; profiling libraries

• adep: libghc-syb-dev (>= 0.4)

  Generic programming library for Haskell

• adep: libghc-syb-prof

  Generic programming library for Haskell; profiling libraries

• adep: libghc-text-dev (>= 1.1)

  efficient packed Unicode text type for Haskell

• adep: libghc-text-prof

  efficient packed Unicode text type for Haskell; 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: libghc-utf8-string-dev (>= 0.3)

  GHC libraries for the Haskell UTF-8 library

• adep: libghc-utf8-string-prof

  Profiling support for the GHC Haskell UTF-8 library

• idep: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

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

  compile git revision info into Haskell projects; documentation

• idep: libghc-graphscc-doc

  Tarjan's algorithm for computing the SCCs of a graph; 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-old-time-doc

  time library; documentation

• idep: libghc-presburger-doc

  decision procedure for quantifier-free linear arithmetic; documentation

• idep: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; 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-smtlib-doc

  A library for working with the SMTLIB format.; documentation

• idep: libghc-syb-doc

  Generic programming library for Haskell; documentation

• idep: libghc-text-doc

  efficient packed Unicode text type for Haskell; 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-utf8-string-doc

  GHC libraries for the Haskell UTF-8 library (documentation)

Download haskell-cryptol

Fichier	Taille (en ko)	Somme MD5
haskell-cryptol_2.4.0-3.dsc	3,8 ko	3febd5d7eb54adb4566899157603e738
haskell-cryptol_2.4.0.orig.tar.gz	290,3 ko	fea327044f959401ed3c5d2b5c193a19
haskell-cryptol_2.4.0-3.debian.tar.xz	2,9 ko	5f9d7d2c9dc73e2bd9261be5481918f6

Dépôt Debian des paquets source (VCS: Git)

https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git

Dépôt Debian des paquets source (interface web)

https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-cryptol