swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-20 20:39:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #284969 from marsam/update-z3_4_12

Browse source 
z3_4_12: 4.12.4 -> 4.12.5
This commit is contained in:
Mario Rodas 2024-01-31 23:50:04 -05:00 committed by GitHub
parent 52de9e9a57 4fadc26e4a
commit dbf625d8d7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/z3/default.nix
View file

@ -89,8 +89,8 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }:
in
{
z3_4_12 = common {
version = "4.12.4";
sha256 = "sha256-cxl7D47dRn+uMVOHbF0avj5+ZFWjaJ7lXj/8l6r9q2I=";
version = "4.12.5";
sha256 = "sha256-Qj9w5s02OSMQ2qA7HG7xNqQGaUacA1d4zbOHynq5k+A=";
};
z3_4_11 = common {
version = "4.11.2";