Sophie

Sophie

distrib > Mageia > cauldron > i586 > by-pkgid > 0869446b087d5c950992e20a3e86b21e

coq-doc-8.5pl2-2.mga6.noarch.rpm

Description:

The coq-doc package contains documentation for coq.

Sources packages:

Other version of this rpm: