config.ml1 2 3 4 5 6(* File automatically generated by the configure script *) let libdir = "/home/opam/.opam/default/lib" let pluginsdir = "/home/opam/.opam/default/lib/alt-ergo/plugins" let preludesdir = "/home/opam/.opam/default/share/alt-ergo/preludes" let datadir = "/home/opam/.opam/default/share" let mandir = "/home/opam/.opam/default/man"