aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-06-23 17:12:46 +0200
committerRicardo Wurmus <rekado@elephly.net>2020-06-23 23:15:54 +0200
commit5db8ba1f49f207b2f6c537126f58fbc169d5a8a4 (patch)
treebe801b8da354d15e33ec925c70fa19b5c3f4204b /gnu/packages/coq.scm
parent4be49afabd71b8508b46ebc702fdfa956261955d (diff)
downloadguix-5db8ba1f49f207b2f6c537126f58fbc169d5a8a4.tar
guix-5db8ba1f49f207b2f6c537126f58fbc169d5a8a4.tar.gz
gnu: Add python-msgpack-numpy.
* gnu/packages/python-science.scm (python-msgpack-numpy): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions