Bug#815540: Support x32 platform

[Mathieu Malaterre]

Package: libv8-3.14
Version: 3.14.5.8-10
Severity: normal
User: debian-...@lists.debian.org
Usertags: port-x32

Please add support for x32.

[Upstream does not support it, so this bug may never be fixed]