summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gnatcoll-core: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gnatcoll-core: build somethingAlfredo Tupone2021-12-191-2/+2
* dev-ada/gnatcoll-core: amd64 stable wrt bug #800527Agostino Sarubbo2021-07-201-1/+1
* dev-ada/gnatcoll-core: change doc path to /usr/share/gnatdocAlfredo Tupone2021-06-251-0/+77