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