An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org : g2

A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2

Registry - JSON - codemeta.json
purl: pkg:hackage/g2
Keywords: bsd3 , formal-methods , library , program , symbolic-computation , Propose Tags
License: BSD-3-Clause
Latest release: almost 2 years ago
First release: over 6 years ago
Dependent packages: 1
Dependent repositories: 2
Downloads: 1,033 total
Last synced: 26 days ago

g2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2
3 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.03 thousand downloads total - 1 maintainer
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.