diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2023-03-14 11:03:06 +0100 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-04-12 08:26:27 -0400 |
| commit | 5ef775d6188b29a7423f79bef2c65dd523f5b014 (patch) | |
| tree | 8c57d8f835302ccfececcce1a2d2549a112b73b8 /gnu/packages/coq.scm | |
| parent | 966a77b9e4cb2e682e13414846f0bb28b819df08 (diff) | |
| download | guix-5ef775d6188b29a7423f79bef2c65dd523f5b014.tar guix-5ef775d6188b29a7423f79bef2c65dd523f5b014.tar.gz | |
gnu: Add python-treelib.
* gnu/packages/python-xyz.scm (python-treelib): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions