dev-haskell/liquidhaskell
Liquid Types for Haskell
Runtime Dependencies
liquidhaskell-9999
dev-haskell/aeson:=[profile?
]
dev-haskell/cabal:=[profile?
]
dev-haskell/cereal:=[profile?
]
>=dev-haskell/cmdargs-0.10:=[profile?
]
>=dev-haskell/data-default-0.5:=[profile?
]
dev-haskell/data-fix:=[profile?
]
>=dev-haskell/diff-0.3:=[profile?
]
<dev-haskell/diff-0.5:=[profile?
]
dev-haskell/extra:=[profile?
]
>=dev-haskell/fingertree-0.1:=[profile?
]
dev-haskell/free:=[profile?
]
>=dev-haskell/ghc-paths-0.1:=[profile?
]
dev-haskell/githash:=[profile?
]
dev-haskell/gitrev:=[profile?
]
>=dev-haskell/hashable-1.3:=[profile?
]
>=dev-haskell/hscolour-1.22:=[profile?
]
~dev-haskell/liquid-fixpoint-9999[profile?
]
>=dev-haskell/megaparsec-8:=[profile?
]
>=dev-haskell/optics-0.2:=[profile?
]
<dev-haskell/optparse-applicative-0.17:=[profile?
]
<dev-haskell/recursion-schemes-5.3:=[profile?
]
dev-haskell/split:=[profile?
]
>=dev-haskell/syb-0.4.4:=[profile?
]
>=dev-haskell/temporary-1.2:=[profile?
]
<dev-haskell/th-compat-0.2:=[profile?
]
>=dev-haskell/unordered-containers-0.2.11:=[profile?
]
>=dev-haskell/vector-0.10:=[profile?
]
>=dev-lang/ghc-8.10.1:=
mirror-modules-helper?
( dev-haskell/mustache:=[profile?
] <dev-haskell/shelly-1.10:=[profile?
] )
||
(
( >=dev-lang/ghc-9.0 <dev-lang/ghc-9.1 )
<dev-haskell/cabal-3.5 )
||
( sci-mathematics/z3 sci-mathematics/cvc4 )
dev-lang/ghc:=[profile?
]
liquidhaskell-0.8.10.7
dev-haskell/aeson:=[profile?
]
dev-haskell/cabal:=[profile?
]
dev-haskell/cereal:=[profile?
]
>=dev-haskell/cmdargs-0.10:=[profile?
]
>=dev-haskell/data-default-0.5:=[profile?
]
dev-haskell/data-fix:=[profile?
]
>=dev-haskell/diff-0.3:=[profile?
]
<dev-haskell/diff-0.5:=[profile?
]
dev-haskell/extra:=[profile?
]
>=dev-haskell/fingertree-0.1:=[profile?
]
dev-haskell/free:=[profile?
]
>=dev-haskell/ghc-paths-0.1:=[profile?
]
dev-haskell/githash:=[profile?
]
dev-haskell/gitrev:=[profile?
]
>=dev-haskell/hashable-1.3:=[profile?
]
>=dev-haskell/hscolour-1.22:=[profile?
]
>=dev-haskell/liquid-fixpoint-0.8.10.2.1:=[profile?
]
<dev-haskell/liquid-fixpoint-0.9:=[profile?
]
>=dev-haskell/megaparsec-8:=[profile?
]
>=dev-haskell/optics-0.2:=[profile?
]
dev-haskell/optparse-applicative:=[profile?
]
dev-haskell/optparse-simple:=[profile?
]
dev-haskell/recursion-schemes:=[profile?
]
dev-haskell/split:=[profile?
]
>=dev-haskell/syb-0.4.4:=[profile?
]
>=dev-haskell/temporary-1.2:=[profile?
]
<dev-haskell/th-compat-0.2:=[profile?
]
>=dev-haskell/unordered-containers-0.2.11:=[profile?
]
>=dev-haskell/vector-0.10:=[profile?
]
>=dev-lang/ghc-8.10.1:=
mirror-modules-helper?
( dev-haskell/mustache:=[profile?
] <dev-haskell/shelly-1.10:=[profile?
] )
||
(
( >=dev-lang/ghc-9.0 <dev-lang/ghc-9.1 )
<dev-haskell/cabal-3.5 )
||
( sci-mathematics/z3 sci-mathematics/cvc4 )
dev-lang/ghc:=[profile?
]