cvc3-el_2.4.1-5.1_all.deb


Advertisement

Description

cvc3-el - Emacs mode for CVC3

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name cvc3-el
Package version 2.4.1
Package release 5.1
Package architecture all
Package type deb
Installed size 65 B
Download size 13.58 KB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
cvc3-el_2.4.1-5.1_all.deb 2.4.1 all Debian Main
cvc3-el - - -

Requires

Name Value
emacs -
emacsen -

Download

Type URL
Binary Package cvc3-el_2.4.1-5.1_all.deb
Source Package cvc3

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install cvc3-el deb package:
    # sudo apt-get install cvc3-el

Files

Path
/etc/emacs/site-start.d/50cvc3-el.el
/usr/lib/emacsen-common/packages/install/cvc3-el
/usr/lib/emacsen-common/packages/remove/cvc3-el
/usr/share/doc/cvc3-el/README
/usr/share/doc/cvc3-el/changelog.Debian.gz
/usr/share/doc/cvc3-el/copyright
/usr/share/emacs/site-lisp/cvc3-el/cvc-mode.el
/usr/share/lintian/overrides/cvc3-el

Changelog

See cvc3_2.4.1-5.1_amd64.deb changelog.

See Also

Package Description
cvc3_2.4.1-5.1_amd64.deb Automatic theorem prover for SMT problems
cvc4_1.6-2+b1_amd64.deb automated theorem prover for SMT problems
cvm-mysql_0.97-0.1_amd64.deb Credential Validation Modules (MySQL)
cvm-pgsql_0.97-0.1_amd64.deb Credential Validation Modules (PostgreSQL)
cvm_0.97-0.1_amd64.deb Credential Validation Modules
cvs-buildpackage_5.26_all.deb set of Debian package scripts for CVS source trees
cvs-fast-export_1.44-1_amd64.deb Export an RCS or CVS history as a fast-import stream
cvs-mailcommit_1.19-2.1_all.deb Send CVS commitments via mail
cvs2svn_2.5.0-1_all.deb Convert a cvs repository to a subversion, bazaar or git repository
cvs_1.12.13+real-26_amd64.deb Concurrent Versions System
cvsd_1.0.24_amd64.deb chroot wrapper to run 'cvs pserver' more securely
cvsdelta_1.7.0-6_all.deb Summarize differences in a CVS repository
cvsgraph_1.7.0-5_amd64.deb Create a tree of revisions/branches from a CVS/RCS file
cvsps_2.1-8_amd64.deb Tool to generate CVS patch set information
cvsservice_17.08.3-1_amd64.deb D-Bus service for accessing CVS repositories
Advertisement
Advertisement