diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-08-01 08:17:32 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-08-01 09:10:25 +0200 |
| commit | 918b7d102c2051c3d6c6ba54c8d265affec5282c (patch) | |
| tree | d282629863009361d457afd696557329c41f3c09 /nix | |
| parent | 01d4363168ed10ea223047f7a7b83201f161ec0b (diff) | |
| download | guix-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 'nix')
0 files changed, 0 insertions, 0 deletions