| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| gprinstall-no-artifacts.diff | prevent gprinstall from installing artifacts We do not want gprbuild in Build-Depends-Indep. | Nicolas Boulenguez <nicolas@debian.org> | not-needed | |||
| shared-library.diff | Allow the user to set build flags | Nicolas Boulenguez <nicolas@debian.org> | yes | |||
| build-flags.diff | Allow the user to set build flags | Nicolas Boulenguez <nicolas@debian.org> | yes | |||
| doc-conf-sphinx4.diff | Adapt doc/share/conf.py to sphinx4 | Nicolas Boulenguez <nicolas@debian.org> | yes |