g2-0.2.0.0: dependencies | Hackage

Dependencies for g2-0.2.0.0

library	array (>=0.5.1.1 && <=0.5.5.0) base (>=4.8 && <4.19) bimap (==0.3.3) bytestring (>=0.10.8.0 && <0.11.6) Cabal (>=2.0.1.0 && <3.11) clock (>=0.8 && <0.9) concurrent-extra (>=0.7 && <0.8) containers (>=0.5 && <0.7) deferred-folds (<=0.9.18.3) directory (>=1.3.0.2 && <=1.3.8.1) extra (>=1.6.14 && <1.7.13) filepath (>=1.4 && <=1.5) ghc (>=8.2.2 && <8.4 \|\| >=8.6 && <8.7 \|\| >=8.10 && <9.7) ghc-paths (>=0.1 && <0.2) hashable (>=1.2.6.0 && <=1.4.2.0) HTTP (>=4000.3.0 && <4001.0) language-sygus (>=0.1.1.3 && <0.2) MissingH (>=1.4.0.0 && <1.7) mtl (>=2.2 && <2.4) optparse-applicative (>=0.15.0.0 && <0.18.0.0) parsec (>=3.1 && <3.2) pretty (>=1.1 && <1.4) process (>=1.6 && <1.7) random (>=1.1 && <1.3) reducers (>=3.12 && <3.13) regex-base (>=0.93 && <0.94.0.3) regex-compat (>=0.95 && <0.96) split (>=0.2.3 && <0.2.4) tasty-quickcheck (>=0.10.1.1 && <0.11) template-haskell (>=2.12.0.0 && <=2.20.0.0) temporary-rc (>=1.2 && <1.3) text (>=1.2.3.1 && <=2.1) text-builder (>=0.6.6.1 && <0.7) time (>=1.6 && <=1.13) unordered-containers (>=0.2.10.0 && <0.3) if flag(support-lh) && impl(ghc<9.2) Diff (==0.3.4) liquid-fixpoint (>=0.8.10.2 && <0.10) liquidhaskell (>=0.8.10.2 && <=0.9.0.2.1) if flag(support-lh) && impl(ghc<9) liquid-fixpoint (==0.8.10.2) liquidhaskell (==0.8.10.2)
G2	base (>=4.8 && <5) containers filepath (>=1.4 && <=1.5) g2 ghc text unordered-containers (>=0.2 && <0.3)
G2LH	base (>=4.8 && <5) containers filepath (>=1.4 && <=1.5) g2 ghc text unordered-containers (>=0.2 && <0.3) if !(flag(support-lh) && impl(ghc<9.2)) buildable: False
Inference	base (>=4.8 && <5) containers deepseq (>=1.4 && <2) g2 liquid-fixpoint liquidhaskell text time if !(flag(support-lh) && impl(ghc<9.2)) buildable: False
Nebula	base (>=4.8 && <5) containers filepath (>=1.4 && <=1.5) g2 ghc text unordered-containers (>=0.2 && <0.3)

Flags

Automatic Flags

Name	Description	Default
support-lh	Build modules for reasoning about LiquidHaskell	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info