Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
0001-Disable-the-hoverxref-Sphinx-extension.patch | Disable the hoverxref Sphinx extension. | Andrey Rahmatullin <wrar@debian.org> | no | 2020-08-23 | ||
0002-Workaround-for-new-Sphinx.patch | Workaround for new Sphinx. | Andrey Rakhmatullin <wrar@debian.org> | no | 2023-12-13 |