Dependencies (51)

• ghc-libs
• haskell-async (staging)
• haskell-attoparsec (staging)
• haskell-bifunctors (staging)
• haskell-bimap (staging)
• haskell-boundedchan
• haskell-bv-sized (staging)
• haskell-concurrent-extra (staging)
• haskell-config-value
• haskell-deriving-compat (staging)
• haskell-fingertree (staging)
• haskell-hashable (staging)
• haskell-hashtables (staging)
• haskell-io-streams (staging)
• haskell-lens (staging)
• haskell-libbf (staging)
• haskell-megaparsec (staging)
• haskell-ordered-containers (staging)
• haskell-panic
• haskell-parameterized-utils (staging)
• haskell-prettyprinter (staging)
• haskell-s-cargot (staging)
• haskell-scientific (staging)
• haskell-temporary (staging)
• haskell-th-lift
• haskell-th-lift-instances (staging)
• haskell-unliftio (staging)
• haskell-unordered-containers (staging)
• haskell-utf8-string (staging)
• haskell-vector (staging)
• haskell-versions (staging)
• haskell-zenc (staging)
• cvc4 (optional)
• yices (optional)
• z3 (optional)
• ghc (make)
• haskell-contravariant (make)
• haskell-hedgehog (staging) (make)
• haskell-lumberjack (staging) (make)
• haskell-quickcheck (staging) (make)
• haskell-tasty (staging) (make)
• haskell-tasty-checklist (staging) (make)
• haskell-tasty-expected-failure (staging) (make)
• haskell-tasty-hedgehog (staging) (make)
• haskell-tasty-hunit (staging) (make)
• haskell-tasty-quickcheck (staging) (make)
• haskell-tasty-sugar (staging) (make)
• uusi (staging) (make)
• cvc4 (check)
• yices (check)
• z3 (check)

Required By (1)

• cryptol (staging)

Package Contents

Links to so-names