Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : smtlib-backends-z3 : 0.3.1
Registry -
Download -
JSON
purl: pkg:hackage/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- base >=4.14 && <4.20
- bytestring >=0.10.12 && <0.13
- smtlib-backends >=0.3 && <0.4