diff options
| author | Zhu Zihao <all_but_last@163.com> | 2022-06-20 20:14:37 +0800 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-07-04 12:29:04 +0200 |
| commit | cec514218336132922ca0bf883f309fa07662b45 (patch) | |
| tree | 6edc344b38ae5797ff8c583171e3fa3653cefdfe /tests/services.scm | |
| parent | 3366be5db0d744625accc80ebc8d155bf1ddece8 (diff) | |
| download | guix-cec514218336132922ca0bf883f309fa07662b45.tar.gz guix-cec514218336132922ca0bf883f309fa07662b45.zip | |
gnu: z3: Update to 4.8.17.
* gnu/packages/maths.scm (z3): Update to 4.8.17.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'tests/services.scm')
0 files changed, 0 insertions, 0 deletions