Commit e89db63f authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

z3_4_8_5: fix by using Python 3.11

parent cae5d2c7

pkgs/top-level/all-packages.nix

+2 −1
Original line number Diff line number Diff line
@@ -38103,7 +38103,8 @@ with pkgs; 
  inherit (callPackages ../applications/science/logic/z3 { python = python3; })

    z3_4_12

    z3_4_11

    z3_4_8

    z3_4_8;

  inherit (callPackages ../applications/science/logic/z3 { python = python311; })

    z3_4_8_5;

  z3 = z3_4_8;

  z3-tptp = callPackage ../applications/science/logic/z3/tptp.nix { };