AgeCommit messageAuthor
2021-05-24Remove the workaround for -gnat2020 now that Arch uses GCC 11Pierre-Marie de Rodat
2021-01-24Update for recent versionsPierre-Marie de Rodat
2020-06-13Merge gprbuild and libgpr into single packageXiretza
2020-06-13Package cleanupXiretza
2020-06-13Update patchesXiretza
2018-03-10Switch build mode to "production"Pierre-Marie de Rodat
2017-12-13Add Earnestly as a contributorPierre-Marie de Rodat
2017-06-18Initial commitPierre-Marie de Rodat