diff options
author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:19 +0200 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:19 +0200 |
commit | 3bc74090d9b583d0bb30a8d79e33abd3c929092f (patch) | |
tree | ebc36e7de136077fee4b63557b3295a6b88609ab /gnu/packages/dictionaries.scm | |
parent | 2d03201aab6d04d0b7481e3271c1d819f8833ebe (diff) | |
download | guix-3bc74090d9b583d0bb30a8d79e33abd3c929092f.tar.gz |
gnu: mcrl2: Update to 201908.0.
* gnu/packages/maths.scm (mcrl2): Update to 201908.0.
Diffstat (limited to 'gnu/packages/dictionaries.scm')
0 files changed, 0 insertions, 0 deletions