Bug#802341: polyml: add arm64

[Edmund Grimley Evans]

Source: polyml
Version: 5.5.2-2
Tags: patch

I was able to build this on arm64 with the attached trivial patch,
though I've done no other testing.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: polyml-5.5.2-2-arm64.patch
Type: text/x-diff
Size: 1118 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20151019/5e7e3f80/attachment.patch>