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

coq-doc-8.11.0-4.mga8 RPM for noarch

From Mageia 8 for aarch64 / media / core / release

Name: coq-doc Distribution: Mageia
Version: 8.11.0 Vendor: Mageia.Org
Release: 4.mga8 Build date: Mon Jan 11 22:24:06 2021
Group: Documentation Build host: localhost
Size: 2286952 Source RPM: coq-8.11.0-4.mga8.src.rpm
Packager: pterjan <pterjan>
Url: https://coq.inria.fr
Summary: Documentation for coq
The coq-doc package contains documentation for coq.

Provides

Requires

License

Open Publication License

Changelog

* Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8
  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8
  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv <tv>
  - remove one BR workaround which is now fixed
* Sun Mar 01 2020 tv <tv> 8.11.0-1.mga8
  + Revision: 1552552
  - BR ocaml-cairo-devel (probably a missing dep of other BRs)
  - BR ocaml-lablgtk3-sourceview3
  + pterjan <pterjan>
  - Update to 8.11.0
  + umeabot <umeabot>
  - Rebuild for ocaml 4.10.0 final
* Thu Feb 20 2020 umeabot <umeabot> 8.9.1-3.mga8
  + Revision: 1545296
  - Mageia 8 Mass Rebuild
* Tue Jan 28 2020 tv <tv> 8.9.1-2.mga8
  + Revision: 1484376
  - filter out a bogus requires on private ocaml interface
  - consolidate exclude list
* Sun Jan 26 2020 tv <tv> 8.9.1-1.mga8
  + Revision: 1483034
  - revert back to 8.9.1 & fix build
  - new release + rebuild for ocaml-4.10
  - new release + rebuild for ocaml-4.10
  + pterjan <pterjan>
  - Rebuild for ocaml 4.07.1

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, Sat Mar 9 15:06:39 2024