On Wed, Oct 12, 2011 at 12:28, H.J. Lu <hjl.to...@gmail.com> wrote: > 1. The file name of an x32 binary package needs to be marked as x32.
i would think this would be completely a package manager issue and out of scope for any ABI project such as x32 -mike
