Package: cvc3-el
Priority: extra
Section: universe/math
Installed-Size: 107
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Architecture: all
Source: cvc3
Version: 2.4.1-4ubuntu1
Depends: emacs | emacsen
Recommends: cvc3
Filename: pool/universe/c/cvc3/cvc3-el_2.4.1-4ubuntu1_all.deb
Size: 13306
MD5sum: 4eee24a8097049abf1778b2db8c6ffba
SHA1: 8fb3a305a245b8de4a9a5b177877909726593c16
SHA256: 63b97223dd036f107ce775a8429568c930e84cafb73e2f03fe5239b48fbf5516
Description: Emacs mode for CVC3
Enhances: cvc3
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description-md5: 973f55f51c17952e69d6c8eb61e7d799
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu