Debian Patches
Status for ada-reference-manual/1:2020.1commit85143dcb-5
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| texinfo-index-before-pdf.diff | ensure that Makefile builds texinfo index entries before PDF The arm-texi-index.el script rewrites the texinfo source, so it must be executed before any target reading it, not only texi2any --info. . Forwarded by mail on 2022/06/25. |
Nicolas Boulenguez <nicolas@debian.org> | invalid | debian |
All known versions for source package 'ada-reference-manual'
- 1:2020.1commit85143dcb-5 (trixie, sid)
- 1:2020.1commit85143dcb-4 (bookworm)
- 1:2020.1commit85143dcb-2 (bullseye)