Bug#623135: polyml: please add armhf

[Konstantinos Margaritis]

Source: polyml
Severity: important
Tags: patch

This package has been built without problems on armhf, so please
consider applying the patch. Also, is there any reason that the 
package should not be listed as arch: any?

Regards

Konstantinos


-- System Information:
Debian Release: squeeze/sid
Architecture: armhf (armv7l)

Kernel: Linux 2.6.31.14-efikamx (PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
-------------- next part --------------
A non-text attachment was scrubbed...
Name: polyml-armhf.diff
Type: text/x-diff
Size: 1246 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20110417/b8a42230/attachment.diff>