diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-22 10:16:57 -0500 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-23 22:14:15 +0100 |
| commit | fa574a6d43e3479d4cac0b8ce01344ff1ed55555 (patch) | |
| tree | bfe69fd998525ed58998125cf2278b9dbe2bf5fe /gnu/system | |
| parent | f5301f005ac18dcc2cb671ee7ada7ccefb320f5e (diff) | |
| download | patches-fa574a6d43e3479d4cac0b8ce01344ff1ed55555.tar patches-fa574a6d43e3479d4cac0b8ce01344ff1ed55555.tar.gz | |
gnu: z3: Update to 4.8.3 and provide python3 bindings
* gnu/packages/maths.scm (z3): Update to 4.8.3.
[build-system]: Switch from cmake to make, and use the current
scripts/mk_make.py build script instead of the now-deprecated
contrib/cmake/bootstrap.py.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions