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