girl
✿
pages
📚
sections
📦
packages
🌗
home
›
📦 packages
› 📦 dh-coq
📦 dh-coq
1 page
✨ every source
debian
all of debian
bookworm
trixie
ubuntu
all of ubuntu
noble
questing
resolute
stonking
D
D
dh_coq
(1)
computes Coq packages provides, and partial dependencies
✨
💅
getting it ready, bestie…