Sophie

Sophie

distrib > Mageia > 6 > x86_64 > 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: