coq-doc-8.4.pl4-1-rosa2014.1.noarch.rpm


Advertisement

Description

coq-doc - Documentation for coq

Property Value
Distribution ROSA 2014.1
Repository ROSA Contrib i586
Package filename coq-doc-8.4.pl4-1-rosa2014.1.noarch.rpm
Package name coq-doc
Package version 8.4.pl4
Package release 1-rosa2014.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-1-rosa2014.1.noarch.rpm 8.4.pl4 noarch ROSA Contrib
coq-doc - - -

Provides

Name Value
coq-doc == 8.4.pl4-1:2014.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package coq-doc-8.4.pl4-1-rosa2014.1.noarch.rpm
Source Package coq-8.4.pl4-1.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

2014-08-08 - Andrey Bondrov <andrey.bondrov@rosalab.ru> 8.4.pl4-1
+ Revision: 94450d6
- New version 8.4pl4, update BuildRequires

See Also

Package Description
coq-ide-8.4.pl4-1-rosa2014.1.i586.rpm The Coq Integrated Development Interface
coquillo-1.12-2-rosa2014.1.i586.rpm Audio Metadata Editor
coralftp-0.2.2-9-rosa2014.1.noarch.rpm A graphical FTP client
coriander-2.0.1-3-rosa2014.1.i586.rpm GUI for controlling IEEE1394 cameras
corkscrew-2.0-8-rosa2014.1.i586.rpm Tool for tunneling SSH through HTTP proxies
corosync-2.3.3-3-rosa2014.1.i586.rpm The Corosync Cluster Engine and Application Programming Interfaces
corsixth-0.30-2-rosa2014.1.i586.rpm Open source clone of Theme Hospital
cortado-0.2.2-0.0.4-rosa2014.1.noarch.rpm Java media framework based on GStreamer's design
couchdb-1.6.1-1-rosa2014.1.i586.rpm A document database server, accessible via a RESTful JSON API
couchdb-bin-1.6.1-1-rosa2014.1.i586.rpm Binary for Couchdb, a document database server
countrycodes-1.0.5-10-rosa2014.1.i586.rpm Country code finder
courier-authdaemon-0.65.0-3-rosa2014.1.i586.rpm Courier authentication daemon
courier-authlib-0.65.0-3-rosa2014.1.i586.rpm Courier authentication library
courier-authlib-devel-0.65.0-3-rosa2014.1.i586.rpm Development libraries for the Courier authentication library
courier-authlib-ldap-0.65.0-3-rosa2014.1.i586.rpm LDAP support for the Courier authentication library
Advertisement
Advertisement