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

coq-doc-8.7.1-1.mga7 RPM for noarch

From Mageia 7 for i586 / media / core / release

Name: coq-doc Distribution: Mageia
Version: 8.7.1 Vendor: Mageia.Org
Release: 1.mga7 Build date: Wed Oct 24 18:38:26 2018
Group: Documentation Build host: localhost
Size: 2286952 Source RPM: coq-8.7.1-1.mga7.src.rpm
Packager: tv <tv>
Url: https://coq.inria.fr
Summary: Documentation for coq
The coq-doc package contains documentation for coq.

Provides

Requires

License

Open Publication License

Changelog

* Wed Oct 24 2018 tv <tv> 8.7.1-1.mga7
  + Revision: 1325023
  - new release
  - rebuild with ocaml-4.07.1
* Sun Sep 23 2018 umeabot <umeabot> 8.6.1-3.mga7
  + Revision: 1296798
  - Mageia 7 Mass Rebuild
* Mon Dec 04 2017 tv <tv> 8.6.1-2.mga7
  + Revision: 1181263
  - fix deps
* Mon Dec 04 2017 tv <tv> 8.6.1-1.mga7
  + Revision: 1181238
  - new release
  - add fixes from FC
  - rebuild for new ocaml
  + shlomif <shlomif>
  - New version 8.6 (requires new deps).

Files

/usr/share/doc/coq-doc
/usr/share/doc/coq-doc/RecTutorial.pdf
/usr/share/doc/coq-doc/Reference-Manual.pdf
/usr/share/doc/coq-doc/Tutorial.pdf


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 9 13:35:48 2021