python3Packages.islpy: build with isl_0_27

This commit is contained in:
qbisi
2025-10-10 01:04:59 +08:00
parent c22e935920
commit 144f74ca95
+1 -1
View File
@@ -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 { };