[GAP] GNAT for LEGO Mindstorms on a Linux host upgraded to GNAT GPL 2011

[Juan Antonio de la Puente]

Dear GAP members,

We have recently updated our port of the GNAT cross compilation system 
for LEGO Mindstorms to Linux to the GNAT GPL 2011 edition.

You can download the Linux x86 binaries at:

http://www.dit.upm.es/rts/projects/mindstorms

Regards,
-----------------------------
Juan Antonio de la Puente
DIT-UPM


-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/gap/attachments/20110928/4ba7a49d/attachment.htm