diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-04-30 00:11:11 -0400 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-05-31 14:53:46 -0400 |
| commit | cdbfe93f164c1621be4e0e0558c3529ff0c720c8 (patch) | |
| tree | 7473b259f0ea698d7c43232937fb4f55e66d2a8c /gnu/packages/coq.scm | |
| parent | 4e7d6a2dbe74f32fc22bfb2e7a3bbaab7c18cc79 (diff) | |
| download | guix-cdbfe93f164c1621be4e0e0558c3529ff0c720c8.tar.gz | |
gnu: Remove python2-pluggy.
* gnu/packages/python-xyz.scm (python2-pluggy): Delete variable. (python2-pluggy-bootstrap): Likewise. (python-pluggy)[properties]: Delete field.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions