diff options
| author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-08-04 15:21:22 +0200 |
|---|---|---|
| committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-08-04 17:02:09 +0200 |
| commit | abe3c5ed7d04985c987e6c81aeb1284354ea0c77 (patch) | |
| tree | d1f70052a1050f1cb52eb50c82c87daa419800db /gnu/bootloader | |
| parent | 285bd00cd4f94f933fd761d95c1b428f9a352356 (diff) | |
| download | guix-abe3c5ed7d04985c987e6c81aeb1284354ea0c77.tar guix-abe3c5ed7d04985c987e6c81aeb1284354ea0c77.tar.gz | |
gnu: mcrl2: Update to 202006.0.
* gnu/packages/maths.scm (mcrl2): Update to 202006.0.
Diffstat (limited to 'gnu/bootloader')
0 files changed, 0 insertions, 0 deletions