Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : g2 : 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2
Registry -
Download -
JSON
purl: pkg:hackage/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- Cabal >=2.0.1.0 && <3.11
- Diff ==0.3.4
- HTTP >=4000.3.0 && <4001.0
- MissingH >=1.4.0.0 && <1.7
- 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
- clock >=0.8 && <0.9
- concurrent-extra >=0.7 && <0.8
- containers >=0.5 && <0.7
- deepseq >=1.4 && <2
- 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
- g2 *
- 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
- language-sygus >=0.1.1.3 && <0.2
- liquid-fixpoint *
- liquidhaskell *
- 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