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.1.0.1
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 && <=2.0.1.1
- HTTP >=4000.3.0 && <4001.0
- MissingH >=1.4.0.0 && <1.5
- array >=0.5.1.1 && <=0.5.3.0
- base >=4.8 && <5
- bytestring >=0.10.8.0 && <=0.10.8.2
- concurrent-extra >=0.7
- containers >=0.5 && <0.6
- directory >=1.3.0.2 && <=1.3.3.2
- extra >=1.6.14 && <=1.6.17
- filepath ==1.4.1.2
- g2 *
- ghc ==8.2.2
- ghc-paths >=0.1 && <0.2
- hashable >=1.2.6.0 && <=1.3.0.0
- hpc >=0.6.0.0 && <0.6.1
- liquid-fixpoint >=0.7.0.7
- liquidhaskell ==0.8.2.2
- mtl >=2.2 && <2.3
- parsec >=3.1 && <3.2
- process >=1 && <1.7
- reducers >=3.12 && <3.13
- regex-base >=0.93 && <0.94
- regex-compat >=0.95 && <0.96
- split >=0.2.3 && <0.2.4
- template-haskell ==2.12.0.0
- temporary-rc >=1.2 && <1.3
- text ==1.2.3.1
- time >=1.6 && <=1.9.3
- unordered-containers >=0.2 && <0.3