/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxs 
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs 
/usr/share/alt-ergo/plugins/AB-Why3-plugin.cmxs 
/usr/share/alt-ergo/plugins/fm-simplex-plugin.cmxs 
/usr/bin/alt-ergo libz.so.1,libgmp.so.10,libm.so.6,libc.so.6
