x86_64: AB-Why3-plugin.cmxs AltErgoLib.cmxs AltErgoParsers.cmxs fm-simplex-plugin.cmxs
