diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-05-01 02:52:52 -0400 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-05-31 14:53:52 -0400 |
| commit | 42333736e05161d29aac60b6a810f56160987057 (patch) | |
| tree | 08173dfb1f22e90db0e7a0b62bb4d57845651143 /gnu/packages/coq.scm | |
| parent | 3bf50750fcf4630bb1f7e1cc447cb0dd420fbab3 (diff) | |
gnu: Remove python2-pylev.
* gnu/packages/python-xyz.scm (python2-pylev): Delete variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions