diff options
| author | Martin Becze <[email protected]> | 2020-11-05 07:59:44 -0600 |
|---|---|---|
| committer | Christopher Baines <[email protected]> | 2020-11-16 21:19:45 +0000 |
| commit | dc2de508a38d8e0a3f93e8d6ded225d3a7e32548 (patch) | |
| tree | cfe04112515762b385faf558a891ece69fb41e28 /gnu/packages/agda.scm | |
| parent | 46ce24fb2d8c9f7dce16c4c08919f0fc108dbfae (diff) | |
gnu: z3: Update to 4.8.9.
* gnu/packages/maths.scm (z3): Update to 4.8.9.
Signed-off-by: Christopher Baines <[email protected]>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions