/usr/share/why/why3/why3.conf is in why 2.34-4ubuntu4.
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 | [main]
loadpath="/usr/share/why/why3"
[prover_modifiers]
name="Coq"
option="-R /usr/share/why/coq Why"
driver="/usr/share/why/why3/coq.drv"
[editor_modifiers coqide]
option="-R /usr/share/why/coq Why"
[editor_modifiers proofgeneral-coq]
option="--eval \"(setq coq-load-path (cons '(\\\"/usr/share/why/coq\\\" \\\"Why\\\") coq-load-path))\""
|