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 /nix/local.mk | |
| parent | eeebf5729213abec5470416f26dd3265abed5c4a (diff) | |
| download | guix-0fe654ebcdf3399a950da65b50924096c947df42.tar.gz | |
gnu: z3: Update to 4.8.8.
* gnu/packages/maths.scm (z3): Update to 4.8.8.
Diffstat (limited to 'nix/local.mk')
0 files changed, 0 insertions, 0 deletions