Package cryptol version 2.2.5-0 component lib:cryptol :: Monadoc

The latest version of cryptol is 3.2.0-0.

lib:cryptol

Modules

Dependencies

GraphSCC lib:GraphSCC >=1.0.4
QuickCheck lib:QuickCheck >=2.7
array lib:array >=0.4
async lib:async >=2.0
base lib:base >=4.6 && <5
containers lib:containers >=0.5
deepseq lib:deepseq >=1.3
directory lib:directory >=1.2
filepath lib:filepath >=1.3
gitrev lib:gitrev >=1.0
heredoc lib:heredoc >=0.2
monadLib lib:monadLib >=3.7.2
old-time lib:old-time >=1.1
presburger lib:presburger >=1.3
pretty lib:pretty >=1.1
process lib:process >=1.2
random lib:random >=1.0.1
sbv lib:sbv >=4.3 && <5.0 || >=5.1 && <5.2
smtLib lib:smtLib >=1.0.7
syb lib:syb >=0.4
template-haskell lib:template-haskell >=0
text lib:text >=1.1
tf-random lib:tf-random >=0.5
transformers lib:transformers >=0.3
utf8-string lib:utf8-string >=0.3

Reverse dependencies

Direct only. Not exhaustive.

acme-everything lib:acme-everything
cryptol bench:cryptol-bench
cryptol exe:cryptol
cryptol exe:cryptol-html
cryptol exe:cryptol-server