diff options
| author | Léo Le Bouter <lle-bout@zaclys.net> | 2021-03-15 12:51:54 +0100 |
|---|---|---|
| committer | Léo Le Bouter <lle-bout@zaclys.net> | 2021-03-15 12:51:54 +0100 |
| commit | 1ed435bf394eee1a6cd9c354efb405920c212f0e (patch) | |
| tree | cc3b8e5f85a6933d8ac0328750dabfd25ff0bf57 /gnu/packages/lean.scm | |
| parent | 309642888981def98fef2ce66b06e22a860adcb9 (diff) | |
gnu: python-sphobjinv: Fix build.
* gnu/packages/sphinx.scm (python-sphobjinv):
[patches]: Remove.
[propagated-inputs]: Add (uncomment) python-certifi.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions