gpo.zugaina.org

Search Portage & Overlays:

dev-lang/cryptol

Cryptol: The Language of Cryptography

Screenshots

  • cryptol-3.2.0
    ~amd64
    +ffi +relocatable doc hscolour hoogle profile

    View      Download      Browse     License: BSD   
    Overlay: haskell

Runtime Dependencies

cryptol-3.2.0


dev-haskell/ansi-terminal:=[profile?
]

>=dev-haskell/arithmoi-0.12:=[profile?
]

>=dev-haskell/async-2.2:=[profile?
]

<dev-haskell/async-2.3:=[profile?
]

>=dev-haskell/base-compat-0.6:=[profile?
]

dev-haskell/blaze-html:=[profile?
]

>=dev-haskell/bv-sized-1.0:=[profile?
]

<dev-haskell/bv-sized-1.1:=[profile?
]

dev-haskell/criterion-measurement:=[profile?
]

>=dev-haskell/cryptohash-sha1-0.11:=[profile?
]

<dev-haskell/cryptohash-sha1-0.12:=[profile?
]

dev-haskell/extra:=[profile?
]

>=dev-haskell/file-embed-0.0.16:=[profile?
]

>=dev-haskell/gitrev-1.0:=[profile?
]

>=dev-haskell/graphscc-1.0.4:=[profile?
]

>=dev-haskell/haskeline-0.7:=[profile?
]

<dev-haskell/haskeline-0.9:=[profile?
]

dev-haskell/language-c99:=[profile?
]

dev-haskell/language-c99-simple:=[profile?
]

>=dev-haskell/libbf-0.6:=[profile?
]

<dev-haskell/libbf-0.7:=[profile?
]

>=dev-haskell/memotrie-0.6:=[profile?
]

<dev-haskell/memotrie-0.7:=[profile?
]

>=dev-haskell/monad-control-1.0:=[profile?
]

>=dev-haskell/monadlib-3.7.2:=[profile?
]

dev-haskell/optparse-applicative:=[profile?
]

>=dev-haskell/panic-0.3:=[profile?
]

>=dev-haskell/parameterized-utils-2.0.2:=[profile?
]

dev-haskell/pretty-show:=[profile?
]

>=dev-haskell/prettyprinter-1.7.0:=[profile?
]

>=dev-haskell/sbv-9.1:=[profile?
]

>=dev-haskell/simple-smt-0.9.7:=[profile?
]

dev-haskell/strict:=[profile?
]

dev-haskell/temporary:=[profile?
]

>=dev-haskell/text-1.1:=[profile?
]

>=dev-haskell/tf-random-0.5:=[profile?
]

>=dev-haskell/transformers-base-0.4:=[profile?
]

dev-haskell/vector:=[profile?
]

>=dev-haskell/what4-1.4:=[profile?
]
>=dev-lang/ghc-9.0.2:=

ffi?
      ( dev-haskell/hgmp:=[profile?
] >=dev-haskell/libffi-0.2:=[profile?
] )

sci-mathematics/z3

dev-lang/ghc:=[profile?
]