diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2019-12-16 12:09:16 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-06-02 03:10:04 +0200 |
| commit | c9b3627d566bde6b60841185f147589df45e65eb (patch) | |
| tree | 790300912e6e9d41b1592e084f2ddb579e374a7b /m4 | |
| parent | 2df1c4f134454ce812439691b40cad285ef808ae (diff) | |
gnu: Add why3.
* gnu/packages/maths.scm (why3): New variable.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions