/etc/emacs/site-start.d/50cvc3-el.el is in cvc3-el 2.4.1-5.1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | ;; -*-emacs-lisp-*-
;;
;; Emacs startup file for the Debian cvc3-el package
;;
;; Based on cmuscheme48-el.emacsen-startup by:
;;   Nils Naumann <naumann@unileoben.ac.at>
;;   Dirk Eddelbuettel <edd@debian.org>
;;   Jim Van Zandt <jrv@vanzandt.mv.com>
;;
;; Modified for cvc3-el by Christopher Conway <cconway@cs.nyu.edu>
;; The package follows the Debian/GNU Linux 'emacsen' policy and
;; byte-compiles its elisp files for each 'emacs flavor' (emacs19,
;; xemacs19, emacs20, xemacs20...). The compiled code is then
;; installed in a subdirectory of the respective site-lisp
;; directory. We have to add this to the load-path. We also add the
;; source directory so that C-h f can find it.
(let* ((package-dir (concat "/usr/share/"
                            (symbol-name debian-emacs-flavor)
                            "/site-lisp/cvc3-el")))
  (when (file-directory-p package-dir)
    (debian-pkg-add-load-path-item package-dir)
    (autoload 'cvc-mode "cvc-mode" "CVC specifications editing mode." t)
    (setq auto-mode-alist 
          (append  (list '("\\.cvc$" . cvc-mode)) auto-mode-alist))))
 |