diff options
| author | Jack Leightcap <jack.leightcap@trailofbits.com> | 2023-05-06 04:48:46 -0400 |
|---|---|---|
| committer | Jack Leightcap <jack.leightcap@trailofbits.com> | 2023-05-06 04:48:46 -0400 |
| commit | 48ac8a3bacad6452e13cf1dfe594e407680afec3 (patch) | |
| tree | 9cf7899d0d2a389ee0f0868041682ae095f4edd2 /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | 103897b4fcd1af998d70f0af599b7ae8ccdd1082 (diff) | |
z3: 4.12.1
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1
declare most recent minor version.
Signed-off-by: Jack Leightcap <jack.leightcap@trailofbits.com>
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions