Mario Rodas a054a24e0b python310Packages.sphinxcontrib-jquery: rename from sphinx-jquery ...

The package name used by the project itself is `sphinxcontrib.jquery` [1]

[1] https://pypi.org/project/sphinxcontrib.jquery/

2023-03-03 23:56:30 +01:00

..

default.nix

…