diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-11 10:55:55 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-08-17 09:07:31 +0100 |
| commit | 7da41e3bc5925ebe258abb8beb26c5f076497634 (patch) | |
| tree | e7e7bce5742dff67f2065ba4fac2581ac73f3fcb /gnu/packages/patches/groff-source-date-epoch.patch | |
| parent | e32a7f2eeea4a6d492c9f2d292fe7775f59a822c (diff) | |
gnu: Remove python-sphinx-panels.python-team
It's no longer required, fails to build, not mainted. Message from
upstream:
> This repository is not actively maintained. Use sphinx-design instead!
> See the migration guide and this github issue for more information.
* gnu/packages/sphinx.scm (python-sphinx-panels): Delete variable.
Change-Id: Ib51b05819238a912e30f36fbeb0f24316275e441
Diffstat (limited to 'gnu/packages/patches/groff-source-date-epoch.patch')
0 files changed, 0 insertions, 0 deletions