diff options
| author | Martin Becze <mjbecze@riseup.net> | 2020-11-05 07:59:44 -0600 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2020-11-17 21:39:12 +0000 |
| commit | 62671027fbac7b22125edb65637843cf1f38028a (patch) | |
| tree | 3644627c59a53c7d0b6ea4a73e5699136a7e2722 /gnu/packages/solidity.scm | |
| parent | 6925c7ec26423389b252a4cea2428547bcd49dc7 (diff) | |
gnu: z3: Update to 4.8.9.
* gnu/packages/maths.scm (z3): Update to 4.8.9.
(cherry picked from commit dc2de508a38d8e0a3f93e8d6ded225d3a7e32548)
Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/solidity.scm')
0 files changed, 0 insertions, 0 deletions