diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-11 10:55:55 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-09-02 17:25:41 +0100 |
| commit | 0ad9ed250ac634fbd01046b5fefc2b71d0bbed6c (patch) | |
| tree | 9ad1aaf47fe6ec7c41c49d8a4df7e47cae4f5aba /gnu/packages/patches/guile-ssh-channel-finalization.patch | |
| parent | fe825ddcf41f56135ac7eb3dd11ee47e87a2a8e3 (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/guile-ssh-channel-finalization.patch')
0 files changed, 0 insertions, 0 deletions