That links gives me a 404. Does it require membership of some organization before you're allowed to view it?

edit: did you mean https://github.com/AdaCore/spark2014 ?