Dependencies for g2-0.1.0.2
Libraries
g2
- 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.5)
- 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)
Executables
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