coq-doc-8.4.pl4-3-rosa2016.1.noarch.rpm


Advertisement

Description

coq-doc - Documentation for coq

Property Value
Distribution ROSA 2016.1
Repository ROSA Contrib x86_64
Package filename coq-doc-8.4.pl4-3-rosa2016.1.noarch.rpm
Package name coq-doc
Package version 8.4.pl4
Package release 3-rosa2016.1
Package architecture noarch
Package type rpm
Category Sciences/Computer science
Homepage http://coq.inria.fr
License Open Publication License
Maintainer -
Download size 1.66 MB
Installed size 1.70 MB
The coq-doc package contains documentation for coq.

Alternatives

Package Version Architecture Repository
coq-doc-8.4.pl4-3-rosa2016.1.noarch.rpm 8.4.pl4 noarch ROSA Contrib
coq-doc - - -

Provides

Name Value
coq-doc == 8.4.pl4-3:2016.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package coq-doc-8.4.pl4-3-rosa2016.1.noarch.rpm
Source Package coq-8.4.pl4-3.src.rpm

Install Howto

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

Files

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

Changelog

2017-02-17 - Andrey Bondrov <andrey.bondrov@rosalab.ru> 8.4.pl4-3
- (1534272) MassBuild#1257: Increase release tag

See Also

Package Description
coq-ide-8.4.pl4-3-rosa2016.1.x86_64.rpm The Coq Integrated Development Interface
coquillo-1.12-4-rosa2016.1.x86_64.rpm Audio Metadata Editor
coralftp-0.2.2-11-rosa2016.1.noarch.rpm A graphical FTP client
coriander-2.0.3-0.20140616.1-rosa2016.1.x86_64.rpm GUI for controlling IEEE1394 cameras
corkscrew-2.0-10-rosa2016.1.x86_64.rpm Tool for tunneling SSH through HTTP proxies
corosync-2.4.1-4-rosa2016.1.x86_64.rpm The Corosync Cluster Engine and Application Programming Interfaces
corsixth-0.60-5-rosa2016.1.x86_64.rpm Open source clone of Theme Hospital
cortado-0.2.2-0.0.6-rosa2016.1.noarch.rpm Java media framework based on GStreamer's design
couchdb-1.6.1-6-rosa2016.1.x86_64.rpm A document database server, accessible via a RESTful JSON API
countrycodes-1.0.5-13-rosa2016.1.x86_64.rpm Country code finder
courier-authdaemon-0.65.0-7-rosa2016.1.x86_64.rpm Courier authentication daemon
courier-authlib-0.65.0-7-rosa2016.1.x86_64.rpm Courier authentication library
courier-authlib-devel-0.65.0-7-rosa2016.1.x86_64.rpm Development libraries for the Courier authentication library
courier-authlib-ldap-0.65.0-7-rosa2016.1.x86_64.rpm LDAP support for the Courier authentication library
courier-authlib-mysql-0.65.0-7-rosa2016.1.x86_64.rpm MySQL support for the Courier authentication library
Advertisement
Advertisement