/etc/emacs/site-start.d/50why3.el is in why3 0.88.3-1ubuntu4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 | ;; -*-emacs-lisp-*-
(autoload 'why3-mode "why3" "Major mode for editing why3 files." t)
(add-to-list 'auto-mode-alist '("\\.\\(why\\|mlw\\)" . why3-mode))
|