xapi-stdext-encodings.opam.template

available: arch != "arm32" & arch != "x86_32"