summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorzimoun <zimon.toutoune@gmail.com>2021-03-15 16:55:40 +0100
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-03-23 21:38:05 -0400
commit4c726e06981da1391bd819d905f5a79670a5ffbb (patch)
tree5418154e89a09fc2507d936ca695ef11dca532f2 /gnu/packages/coq.scm
parent5f3411e4012658f0894e253aed3b198412d77bfd (diff)
downloadguix-4c726e06981da1391bd819d905f5a79670a5ffbb.tar.gz
gnu: python2-ipywidgets: Remove package.
* gnu/packages/python-xyz.scm (python2-ipywidgets): Delete.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions