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-tests : 0.2
Registry -
Download -
JSON
purl: pkg:hackage/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- base >=4.14 && <4.17.0
- smtlib-backends >=0.2 && <0.3
- tasty >=1.4.2 && <1.5
- tasty-hunit >=0.10.0 && <0.11