gnu: z3: Update to 4.8.8.
authorTobias Geerinckx-Rice <me@tobias.gr>
Sat, 16 May 2020 13:04:47 +0000 (15:04 +0200)
committerTobias Geerinckx-Rice <me@tobias.gr>
Sat, 16 May 2020 13:05:05 +0000 (15:05 +0200)
commit0fe654ebcdf3399a950da65b50924096c947df42
tree6fa9c374cb8cbdffda2b2db1e394a6237ac9eec9
parenteeebf5729213abec5470416f26dd3265abed5c4a
gnu: z3: Update to 4.8.8.

* gnu/packages/maths.scm (z3): Update to 4.8.8.
gnu/packages/maths.scm