dev-lang/cryptol
Cryptol: The Language of Cryptography
Runtime Dependencies
cryptol-2.6.0
dev-haskell/ansi-terminal:=[profile?
]
>=dev-haskell/base-compat-0.6:=[profile?
]
dev-haskell/blaze-html:=[profile?
]
>=dev-haskell/gitrev-1.0:=[profile?
]
>=dev-haskell/graphscc-1.0.4:=[profile?
]
dev-haskell/haskeline:=[profile?
]
>=dev-haskell/heredoc-0.2:=[profile?
]
>=dev-haskell/monad-control-1.0:=[profile?
]
>=dev-haskell/monadlib-3.7.2:=[profile?
]
>=dev-haskell/mtl-2.2.1:=[profile?
]
>=dev-haskell/panic-0.3:=[profile?
]
>=dev-haskell/random-1.0.1:=[profile?
]
>=dev-haskell/sbv-7.7:=[profile?
]
>=dev-haskell/simple-smt-0.7.1:=[profile?
]
dev-haskell/strict:=[profile?
]
>=dev-haskell/text-1.1:=[profile?
]
>=dev-haskell/tf-random-0.5:=[profile?
]
>=dev-haskell/transformers-base-0.4:=[profile?
]
>=dev-lang/ghc-8.0.1:=
sci-mathematics/z3
dev-lang/ghc:=[profile?
]