diff options
| author | Zhu Zihao <[email protected]> | 2022-06-20 20:14:37 +0800 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2022-07-04 12:29:04 +0200 |
| commit | cec514218336132922ca0bf883f309fa07662b45 (patch) | |
| tree | 6edc344b38ae5797ff8c583171e3fa3653cefdfe /gnu/packages/solidity.scm | |
| parent | 3366be5db0d744625accc80ebc8d155bf1ddece8 (diff) | |
gnu: z3: Update to 4.8.17.
* gnu/packages/maths.scm (z3): Update to 4.8.17.
Signed-off-by: Ludovic Courtès <[email protected]>
Diffstat (limited to 'gnu/packages/solidity.scm')
0 files changed, 0 insertions, 0 deletions