K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-04-25T10:35:33.959454Z
K 7
svn:log
V 135
lang/gnatdroid-binutils: Upgrade version 2.24 => 2.25

While here, remove te ARMv5 support; the gnatdroid-armv5 port has
been removed.

END