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/kerberos.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/kerberos.scm')
0 files changed, 0 insertions, 0 deletions