diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-02-08 08:50:06 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-02-08 08:50:06 +0100 |
| commit | 5b05dce74783e59c23ea0e3dc21386f1cca83ff1 (patch) | |
| tree | 2bc41d66bf9fea55fa53333214111dc7240f8ae6 /bootstrap | |
| parent | 83e8a302f29e70e667dc658c2876923bb3b7a0eb (diff) | |
| download | patches-5b05dce74783e59c23ea0e3dc21386f1cca83ff1.tar patches-5b05dce74783e59c23ea0e3dc21386f1cca83ff1.tar.gz | |
gnu: Add mcrl2.
* gnu/packages/maths.scm (mcrl2): New variable.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions