| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| gprinstall-no-artifacts.diff | Remove artifacts from templates_parser.gpr Gprinstall is not configurable enough to deal with separate -arch and -indep builds. |
Nicolas Boulenguez <nicolas@debian.org> | not-needed | |||
| verbose_makefile.diff | optionally remove .SILENT from makefiles. | Nicolas Boulenguez <nicolas@debian.org> | no |