hackage.haskell.org : Agda-executable : 2.2.10
Registry -
Download -
JSON
purl: pkg:hackage/Agda-executable@2.2.10
Published:
Indexed:
Loading...
Readme
Loading...
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Registry -
Download -
JSON
purl: pkg:hackage/Agda-executable@2.2.10
Published:
Indexed: