UbuntuUpdates.org

Package "cvc3-el"

Name: cvc3-el

Description:

Emacs mode for CVC3

Latest version: 2.4.1-4ubuntu1
Release: trusty (14.04)
Level: base
Repository: universe
Head package: cvc3
Homepage: http://www.cs.nyu.edu/acsys/cvc3/

Links


Download "cvc3-el"


Other versions of "cvc3-el" in Trusty

No other version of this package is available in the Trusty release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates