summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorAndreas Enge <andreas@enge.fr>2022-08-08 21:24:41 +0200
committerAndreas Enge <andreas@enge.fr>2022-08-08 22:56:07 +0200
commit38d024dc58ec7d7fc951bf96da0143e7ce3d145b (patch)
tree7fc302b1d6756800b11265a628389ddb823b2e97 /gnu/packages/coq.scm
parent8a8ffd40e3238e7e8b2085c042b593c55b1d79a4 (diff)
downloadguix-38d024dc58ec7d7fc951bf96da0143e7ce3d145b.tar.gz
gnu: python-symengine: Update to 0.9.2.
* gnu/packages/python-xyz.scm (python-symengine): Update to 0.9.2.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions