Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
Package Usage : deb : ubuntu/coq-theories
Explore the latest package usage data for ubuntu/coq-theories in the deb ecosystem, including detailed information on package dependencies and their usage.
Total dependents: 1
Total downloads: 5,293
More details on packages.ecosyste.ms - JSON
kolejka/satori edge
- version: 8.11.0-1
- arch: amd64
- upstream: coq
- distro: ubuntu-20.04