diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-08-20 12:31:18 +0200 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:20:40 +0800 |
| commit | 114a77e55db43c5507ed25eb47543f2c8e9199df (patch) | |
| tree | 0555dda9b3f2eaf6da0a8fbd4ec7532aab6805d9 /gnu/packages/patches/python-pygpgme-fix-pinentry-tests.patch | |
| parent | 0b17ad1e8b9056a0af621ebb8c5faf4b029ad34d (diff) | |
gnu: coq: Propagate ocaml-zarith.
Otherwise each Coq plugin needs to specify it.
* gnu/packages/coq.scm (coq)[inputs]: Move ocaml-zarith from here...
[propagated-inptus]: ... to here.
(coq-gappa)[inputs]: Remove ocaml-zarith.
(coq-bignums)[inputs]: Likewise.
(coq-interval)[inputs]: Likewise.
(coq-equations)[inputs]: Likewise.
Change-Id: I63cab11032cc6d4673efc9fdcf14be2929bda05e
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
Diffstat (limited to 'gnu/packages/patches/python-pygpgme-fix-pinentry-tests.patch')
0 files changed, 0 insertions, 0 deletions