lmod based management tool for GNAT and SPARK installations - View it on GitHub