Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-doc-8.20.1-1.mga10 RPM for noarch

From Mageia Cauldron for i686 / media / core / release

Name: coq-doc Distribution: Mageia
Version: 8.20.1 Vendor: Mageia.Org
Release: 1.mga10 Build date: Sun Jun 22 13:46:33 2025
Group: Documentation Build host: localhost
Size: 4935052 Source RPM: coq-8.20.1-1.mga10.src.rpm
Packager: daviddavid <daviddavid>
Url: https://coq.inria.fr
Summary: Documentation for coq
 
The coq-doc package contains documentation for coq.

Provides

Requires

License

Open Publication License

Changelog

* Sun Jun 22 2025 daviddavid <daviddavid> 8.20.1-1.mga10
  + Revision: 2193932
  - new version: 8.20.1

Files

/usr/share/doc/coq-doc
/usr/share/doc/coq-doc/index.mld
/usr/share/doc/coq/coq-8.20.1-reference-manual.pdf
/usr/share/licenses/coq-doc
/usr/share/licenses/coq-doc/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jun 26 09:36:17 2025