summarylogtreecommitdiffstats
 
AgeCommit messageAuthor
2021-05-24Stop removing GNATCOLL.OS packages now that Arch uses GCC 11Pierre-Marie de Rodat
2021-01-24Remove the new GNATCOL.OS.* packagesPierre-Marie de Rodat
2018-03-11Make this package conflict with the legacy "gnatcoll"Pierre-Marie de Rodat
2018-03-10Initial commitPierre-Marie de Rodat
 
Clone
https://aur.archlinux.org/gnatcoll-core-git.git/