sci-mathematics/z3: Bump to 4.8.5
authorMichał Górny <mgorny@gentoo.org>
Sat, 1 Jun 2019 06:12:54 +0000 (08:12 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 1 Jun 2019 08:15:04 +0000 (10:15 +0200)
commit9e8d8756875ac679ca843350a5701d2dec5054e1
tree733da70197feef0c8bba72ba52f844e2bebc239a
parent0da5e021f09c92979b9614c37dc71eb169b4b81b
sci-mathematics/z3: Bump to 4.8.5

Signed-off-by: Michał Górny <mgorny@gentoo.org>
sci-mathematics/z3/Manifest
sci-mathematics/z3/z3-4.8.5.ebuild [new file with mode: 0644]