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