diff options
| author | Andreas Enge <[email protected]> | 2019-06-19 23:57:49 +0200 |
|---|---|---|
| committer | Andreas Enge <[email protected]> | 2019-06-19 23:57:49 +0200 |
| commit | a1dcaacb7b790668fd8cce6ce29a004587f50218 (patch) | |
| tree | 7e528f2bb73e14ac56439ed96a28bf9daeca208b /gnu/packages/patches/idris-test-no-node.patch | |
| parent | 37edfb0f1cdff251b1231d687041dfe6e7ea92e5 (diff) | |
gnu: Add brial.
* gnu/packages/sagemath.scm (brial): New variable.
Diffstat (limited to 'gnu/packages/patches/idris-test-no-node.patch')
0 files changed, 0 insertions, 0 deletions