Commit bb98fba3 authored by Tom van Dijk's avatar Tom van Dijk Committed by github-actions[bot]
Browse files

z3: 4.14.1 → 4.15.0, z3_4_14: drop, z3_4_15: init at 4.15.0 

(cherry picked from commit f9d66c36)
parent 031f393b

pkgs/by-name/z3/z3/package.nix

+2 −2
Original line number Diff line number Diff line 
{

  z3_4_14,

  z3_4_15,

  ...

}@args:



z3_4_14.override args
 
z3_4_15.override args

pkgs/by-name/z3/z3_4_14/package.nix→pkgs/by-name/z3/z3_4_15/package.nix

+3 −3
Original line number Diff line number Diff line
@@ -13,9 +13,9 @@ 
  findlib ? null,

  zarith ? null,

  versionInfo ? {

    regex = "^v(4\\.14\\.[0-9]+)$";

    version = "4.14.1";

    hash = "sha256-pTsDzf6Frk4mYAgF81wlR5Kb1x56joFggO5Fa3G2s70=";

    regex = "^z3-(4\\.[0-9]+\\.[0-9]+)$";

    version = "4.15.0";

    hash = "sha256-fk3NyV6vIDXivhiNOW2Y0i5c+kzc7oBqaeBWj/JjpTM=";

  },

  ...

}: