Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

debian 12 : acl2

Registry - Homepage - Documentation - JSON - codemeta.json
purl: pkg:deb/debian/acl2?arch=source&distro=debian-12
Keywords: math
License:
Latest release: 2 days ago
First release: 2 days ago
Namespace: main
Last synced: about 8 hours ago

    Loading...
    Readme
    Loading...