summarylogtreecommitdiffstats
 
AgeCommit messageAuthor
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/