diff options
author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-02-25 09:25:49 +0100 |
---|---|---|
committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-05 08:17:58 +0100 |
commit | ffbf8ce07a8601501be6368345e767e50aeb27b6 (patch) | |
tree | 6c63c6304fba0e7ae4be0c8f82e0b4843a40dcf2 /gnu/tests | |
parent | a10cc08a0f848f490635191cf1137e68b63c9d3c (diff) | |
download | guix-ffbf8ce07a8601501be6368345e767e50aeb27b6.tar guix-ffbf8ce07a8601501be6368345e767e50aeb27b6.tar.gz |
gnu: Add java-smtinterpol.
* gnu/packages/maths.scm (java-smtinterpol): New variable.
Diffstat (limited to 'gnu/tests')
0 files changed, 0 insertions, 0 deletions