coq-doc - Documentation for coq

Property Value
Distribution Mageia Cauldron
Repository Mageia Core x86_64
Package filename coq-doc-8.9.1-2.mga8.noarch.rpm
Package name coq-doc
Package version 8.9.1
Package release 2.mga8
Package architecture noarch
Package type rpm
Category Documentation
License Open Publication License
Maintainer -
Download size 2.12 MB
Installed size 2.18 MB
The coq-doc package contains documentation for coq.


Package Version Architecture Repository
coq-doc-8.9.1-2.mga8.noarch.rpm 8.9.1 noarch Mageia Core
coq-doc-8.9.1-1.mga8.noarch.rpm 8.9.1 noarch Mageia Core
coq-doc - - -


Name Value
coq-doc == 8.9.1-2.mga8


Type URL
Binary Package coq-doc-8.9.1-2.mga8.noarch.rpm
Source Package coq-8.9.1-2.mga8.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install coq-doc rpm package:
    # urpmi coq-doc




2020-01-28 - tv <tv> 8.9.1-2.mga8
+ Revision: 1484376
- filter out a bogus requires on private ocaml interface
- consolidate exclude list
2020-01-26 - 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
2018-10-24 - tv <tv> 8.7.1-1.mga7
+ Revision: 1325023
- new release
- rebuild with ocaml-4.07.1
2018-09-23 - umeabot <umeabot> 8.6.1-3.mga7
+ Revision: 1296798
- Mageia 7 Mass Rebuild

See Also

Package Description
coq-flocq-2.6.0-3.mga7.x86_64.rpm Formalization of floating point numbers for Coq
coq-ide-8.9.1-2.mga8.x86_64.rpm The Coq Integrated Development Interface
coquillo-2.0.0-4.mga8.x86_64.rpm Audio Metadata Editor
corejava-format-1.22-8.mga8.noarch.rpm A class for formatting numbers that follows printf conventions
corejava-format-javadoc-1.22-7.mga7.noarch.rpm Javadoc for corejava-format
corejava-format-javadoc-1.22-8.mga8.noarch.rpm Javadoc for corejava-format
coreutils-8.31-2.mga8.x86_64.rpm The GNU core utilities: a set of tools commonly used in shell scripts
coreutils-doc-8.31-1.mga7.noarch.rpm Coreutils documentation in info format
coreutils-doc-8.31-2.mga8.noarch.rpm Coreutils documentation in info format
corkscrew-2.0-17.mga8.x86_64.rpm Tool for tunneling SSH through HTTP proxies
coro-mock-1.0-10.e55ca83git.4.mga7.noarch.rpm A mock library for compiling JVM coroutine-using code on JVMs without coroutines
coro-mock-1.0-10.e55ca83git.5.mga8.noarch.rpm A mock library for compiling JVM coroutine-using code on JVMs without coroutines
coro-mock-javadoc-1.0-10.e55ca83git.4.mga7.noarch.rpm Javadoc for coro-mock
coro-mock-javadoc-1.0-10.e55ca83git.5.mga8.noarch.rpm Javadoc for coro-mock
corosync-3.0.3-5.mga8.x86_64.rpm The Corosync Cluster Engine and Application Programming Interfaces