Hi: I have just made a check on Adacore website and find that the package you mentioned is still available on their site. Visit "https://www.adacore.com/download" and click the link ("More packages, platforms, versions and sources » ") located at the bottom-right corner of the webpage (the url is : ...

I have succeeded in porting GNAT GPL for MINDSTORMS NXT-Ravenscar edition to Raspberry Pi. If anyone is interested in programing in Ada, this port will provide an Ada-only environment on a bare board Raspberry Pi. One can exercise realtime multitask programming like cyclic task, sporadic task as wel...

I have succeeded in porting GNAT GPL for MINDSTORMS NXT-Ravenscar edition to Raspberry Pi. If anyone is interested in programing in Ada, this port will provide an Ada-only environment on a bare board Raspberry Pi. One can exercise realtime multitask programming like cyclic task, sporadic task as wel...