linux
manpag.es
Search
A–Z
Sections
Topics
Packages
Dh-Coq
dh_coq(1)
computes Coq packages provides, and partial dependencies