aboutsummaryrefslogtreecommitdiff
path: root/gnu/system.scm
diff options
context:
space:
mode:
authorJanneke Nieuwenhuizen <janneke@gnu.org>2024-08-01 08:17:32 +0200
committerJanneke Nieuwenhuizen <janneke@gnu.org>2024-08-01 09:10:25 +0200
commit918b7d102c2051c3d6c6ba54c8d265affec5282c (patch)
treed282629863009361d457afd696557329c41f3c09 /gnu/system.scm
parent01d4363168ed10ea223047f7a7b83201f161ec0b (diff)
downloadguix-918b7d102c2051c3d6c6ba54c8d265affec5282c.tar.gz
guix-918b7d102c2051c3d6c6ba54c8d265affec5282c.zip
gnu: mcrl2: Update to 202307.1.
* gnu/packages/maths.scm (mcrl2): Update to 202307.1. Change-Id: I6fe73c964336654a2f29df398c7f710db73f2637
Diffstat (limited to 'gnu/system.scm')
0 files changed, 0 insertions, 0 deletions