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-17 15:16:52 +0200 |
commit | 529dfb9ffcb5f0cba6cd22d5cd11c0d932c8c6d1 (patch) | |
tree | 6bb8a84e80066b2277e5ee99422fde0ce65f5fd4 /etc | |
parent | 0f8339bc325e06897a0384eccabcc5ac2a519144 (diff) | |
download | guix-patches-529dfb9ffcb5f0cba6cd22d5cd11c0d932c8c6d1.tar guix-patches-529dfb9ffcb5f0cba6cd22d5cd11c0d932c8c6d1.tar.gz |
gnu: z3: Update to 4.8.8.
* gnu/packages/maths.scm (z3): Update to 4.8.8.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions