diff options
| author | Liliana Marie Prikler <[email protected]> | 2023-02-25 09:24:58 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <[email protected]> | 2023-03-05 08:17:58 +0100 |
| commit | 367979cbff8a85a983535c6a0858f80ba36c72e2 (patch) | |
| tree | a328c3d35c41dffb18d574c2f80d340a0ec50e52 /gnu/packages/patches/java-apache-ivy-port-to-latest-bouncycastle.patch | |
| parent | 771d4f86ddb63670999a8ab47ee6888db71298f7 (diff) | |
gnu: Add yices.
* gnu/packages/maths.scm (yices): New variable.
Diffstat (limited to 'gnu/packages/patches/java-apache-ivy-port-to-latest-bouncycastle.patch')
0 files changed, 0 insertions, 0 deletions