UbuntuUpdates.org

Package "cvc3-el"

Name: cvc3-el

Description:

Emacs mode for CVC3

Latest version: 2.2-13.1
Release: precise (12.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 Precise

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

Changelog

Version: *DELETED* 2012-03-06 10:09:48 UTC
No changelog for deleted or moved packages.

Version: 2.2-13.1 2011-12-18 16:09:05 UTC

cvc3 (2.2-13.1) unstable; urgency=low

  * NMU. Change dependencies libgmp3-dev --> libgmp-dev.

 -- Steve M. Robbins Wed, 16 Mar 2011 21:43:31 -0500


Version: *DELETED* 2011-12-18 14:07:36 UTC
No changelog for deleted or moved packages.



About   -   Send Feedback to @ubuntu_updates