debian 13 : agda-stdlib
Registry
-
Source
- Homepage
- Documentation
- JSON
- codemeta.json
purl: pkg:deb/debian/agda-stdlib?arch=source&distro=debian-13&repository_url=https://packages.debian.org/trixie
Keywords:
libs
License:
Latest release: 8 days ago
First release: 8 days ago
Namespace: main
Last synced: 8 days ago
Loading...
Readme
Loading...