Sophie

Sophie

distrib > Mageia > 5 > x86_64 > media > core-release > by-pkgid > 80735c841f6c345a5c50d8289b976d92

coq-doc-8.4pl4-5.mga5.noarch.rpm

Description:

The coq-doc package contains documentation for coq.

Sources packages:

Other version of this rpm: