Hi Danny, Danny Milosavljevic skribis: > * gnu/packages/adacore.scm: New file. Reminds me of one of these discussions we had while wandering in Brussels. :-) Should it be simply ada.scm, given that “AdaCore” is the name of the company? > --- /dev/null > +++ b/gnu/packages/adacore.scm > @@ -0,0 +1,43 @@ > +(define-module (gnu packages adacore) Please add a copyright header. If ‘guix lint’ is happy, go ahead! Ludo’.