Package Usage : deb : ubuntu/coq
Explore the latest package usage data for ubuntu/coq in the deb ecosystem, including detailed information on package dependencies and their usage.
Total dependents: 1
Total downloads: 5,293
Showing first 100 dependents
More details on packages.ecosyste.ms - JSON
kolejka/satori edge
- version: 8.17.0 dfsg-1build1, 8.11.0-1
- arch: amd64
- distro: ubuntu-23.10
fredblgr/docker-webtop-3asl 2025-arm64
A Linux webtop image for my 3rd year students at CentraleSupélec
- version: 8.18.0+dfsg-1build2
- arch: arm64
- distro: ubuntu-24.04