diff options
author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2021-07-08 09:49:38 +0200 |
---|---|---|
committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2021-07-08 09:51:12 +0200 |
commit | 9bd65f05833fb2d1a28c25d431a82dd752046c09 (patch) | |
tree | 3273cbc2c532d743e6f9c7c82d0996282bd6568f /gnu/packages/xdisorg.scm | |
parent | 0a04c25482c4d848a6a29711fccf5682319e26aa (diff) | |
download | guix-patches-9bd65f05833fb2d1a28c25d431a82dd752046c09.tar guix-patches-9bd65f05833fb2d1a28c25d431a82dd752046c09.tar.gz |
gnu: mcrl2: Update to 202106.0.
* gnu/packages/maths.scm (mcrl2): Update to 202106.0.
Diffstat (limited to 'gnu/packages/xdisorg.scm')
0 files changed, 0 insertions, 0 deletions