Filelist of package cvc3-el in wheezy of architecture all

/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