diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:56 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:56 +0200 |
| commit | e03b912600fe6aa74e0858f69920e71693f1aaa4 (patch) | |
| tree | 7518bc9ca53e0206bfbfba2f64473fb6b9056067 /gnu/system.scm | |
| parent | 3bc74090d9b583d0bb30a8d79e33abd3c929092f (diff) | |
| download | patches-e03b912600fe6aa74e0858f69920e71693f1aaa4.tar patches-e03b912600fe6aa74e0858f69920e71693f1aaa4.tar.gz | |
gnu: Add mcrl2-minimal.
* gnu/packages/maths.scm (mcrl2-minimal): New variable.
Diffstat (limited to 'gnu/system.scm')
0 files changed, 0 insertions, 0 deletions