| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-06-29 | Use --gpr-opts to pass -R during the build | Pierre-Marie de Rodat |
| 2018-06-25 | Initial commit | Pierre-Marie de Rodat |
| AUR : gnatcoll-gmp-git.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-06-29 | Use --gpr-opts to pass -R during the build | Pierre-Marie de Rodat |
| 2018-06-25 | Initial commit | Pierre-Marie de Rodat |