diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-16 15:04:47 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-16 15:05:05 +0200 |
commit | 0fe654ebcdf3399a950da65b50924096c947df42 (patch) | |
tree | 6fa9c374cb8cbdffda2b2db1e394a6237ac9eec9 /gnu/tests.scm | |
parent | eeebf5729213abec5470416f26dd3265abed5c4a (diff) | |
download | guix-patches-0fe654ebcdf3399a950da65b50924096c947df42.tar guix-patches-0fe654ebcdf3399a950da65b50924096c947df42.tar.gz |
gnu: z3: Update to 4.8.8.
* gnu/packages/maths.scm (z3): Update to 4.8.8.
Diffstat (limited to 'gnu/tests.scm')
0 files changed, 0 insertions, 0 deletions