[University] Contact from AdaCore University

[Daniel Garrido]

Dear Sir/Madam,

 

My university is participating in the Ada core academic program.

I have seen your courses related to Ada and SPARK and they seem very
interesting.

 

In the following link, we have found support library that works under
Windows:
https://github.com/AdaCoreU/Courses/raw/master/labs/Support_Library/adacore-
training-support-x86-windows-bin.exe

 

It includes a library gnat_sdl, which is very useful for simple exercises.
Some of my students have asked if a Linux version is available. I am
wondering if you have this version or if you could provide me with some
instructions (or contact person) to build it and using on Linux.

 

Best regards,

Daniel.

 

---------------------------------------------------------------- 

Daniel Garrido Márquez

Departamento de Lenguajes y Ciencias de la Computación 

E.T.S. Ingeniería Informática

Universidad de Málaga. España

29071 Málaga. Spain 

Telef. 34-95-2131401

Fax. 34-95-2131397 

E-mail: dgarrido at lcc.uma.es



---
El software de antivirus Avast ha analizado este correo electrónico en busca de virus.
https://www.avast.com/antivirus
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/university/attachments/20161027/b866d4ee/attachment.html>