diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2024-05-10 00:54:06 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2024-10-14 23:53:20 +0100 |
| commit | 44bcda3897b9d92ba8eaef2e7bab1abac4fd6d97 (patch) | |
| tree | c6cb0bae745258eb2639bb81b11b3667945e2311 /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | bb7d432a6ae317b1bc91aee2862528d9ac542857 (diff) | |
gnu: Add python-sphinx-autodoc-typehints-5.
* gnu/packages/sphinx.scm (python-sphinx-autodoc-typehints-5): New variable.
Change-Id: I465979829851681635d1073658f262a96758cfb5
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions