Sophie

Sophie

distrib > Mageia > cauldron > i586 > by-pkgid > 96fa70aa11d4af598d0decd34629d827

coq-doc-8.7.1-1.mga7.noarch.rpm

Description:

The coq-doc package contains documentation for coq.

Sources packages:

Other version of this rpm: