summarylogtreecommitdiffstats
 
AgeCommit messageAuthor
2017-11-27drake-git: set correct permissions on ali filesEarnestly
2017-11-26drake-git: now licensed under MITEarnestly
2017-11-25drake-git: fool gnatlink into using -lpthread implicitlyEarnestly
2017-11-23drake-git: forgot to include the headmaster dependencyEarnestly
2017-11-23drake-git: clarify that this is a gnat replacement, not gcc-adaEarnestly
2017-11-23add drakeEarnestly
 
Clone
https://aur.archlinux.org/drake-git.git/