From 144f74ca95e9fdba4c58965d0d7e8d33cdeaa11a Mon Sep 17 00:00:00 2001 From: qbisi Date: Thu, 25 Sep 2025 10:43:28 +0800 Subject: [PATCH] python3Packages.islpy: build with isl_0_27 --- pkgs/top-level/python-packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 02b7710525a3..3a4be25a7a3b 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -7281,7 +7281,7 @@ self: super: with self; { isbnlib = callPackage ../development/python-modules/isbnlib { }; - islpy = callPackage ../development/python-modules/islpy { isl = pkgs.isl_0_24; }; + islpy = callPackage ../development/python-modules/islpy { isl = pkgs.isl_0_27; }; ismartgate = callPackage ../development/python-modules/ismartgate { };