coq-emacs-8.5pl2-1.fc25.noarch.rpm


Advertisement

Description

coq-emacs - GNU Emacs support for Coq proof management system

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: coq-emacs
Package version: 8.5pl2
Package release: 1.fc25
Package architecture: noarch
Package type: rpm
Installed size: 133.00 KB
Download size: 44.86 KB
Official Mirror: dl.fedoraproject.org
This package provides GNU Emacs mode files for formatting Coq input.

Alternatives

Provides

  • coq-emacs = 8.5pl2-1.fc25
  • coq-emacs-el = 8.5pl2-1.fc25

Obsoletes

  • coq-emacs-el < 8.5-1.fc25

    Download

    Install Howto

    Install the coq-emacs rpm package:

    # dnf install coq-emacs

    Files

    • /usr/share/doc/coq-emacs/README.coq-emacs
    • /usr/share/emacs/site-lisp/coq/coq-font-lock.el
    • /usr/share/emacs/site-lisp/coq/coq-font-lock.elc
    • /usr/share/emacs/site-lisp/coq/coq-inferior.el
    • /usr/share/emacs/site-lisp/coq/coq-inferior.elc
    • /usr/share/emacs/site-lisp/coq/gallina-db.el
    • /usr/share/emacs/site-lisp/coq/gallina-db.elc
    • /usr/share/emacs/site-lisp/coq/gallina-syntax.el
    • /usr/share/emacs/site-lisp/coq/gallina-syntax.elc
    • /usr/share/emacs/site-lisp/coq/gallina.el
    • /usr/share/emacs/site-lisp/coq/gallina.elc

    Changelog

    Advertisement
    Advertisement