summaryrefslogtreecommitdiff
path: root/.mumi
diff options
context:
space:
mode:
authorAndreas Enge <andreas@enge.fr>2024-05-15 13:29:34 +0200
committerAndreas Enge <andreas@enge.fr>2024-05-15 14:35:07 +0200
commit12d23e3ac9d1ba410f4c60c78b393dc963b483ca (patch)
treed64ee1305ccfe270f00ba9a10a21523cfcdceb66 /.mumi
parent75f3cca50a4c53c65aa6b424276acdf023d51008 (diff)
gnu: gecode: Use gexps.
* gnu/packages/maths.scm (gecode): Use gexps. Reindent package. Change-Id: I5a644d25f2d62c3245b0770fe99c20c3ef380ffc
Diffstat (limited to '.mumi')
0 files changed, 0 insertions, 0 deletions