Merge pull request #273365 from wegank/getdp-stdenv

getdp: remove stdenv override
This commit is contained in:
Weijia Wang 2023-12-10 22:12:27 +01:00 committed by GitHub
commit ee8014ec78
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -39217,7 +39217,7 @@ with pkgs;
flintqs = callPackage ../development/libraries/science/math/flintqs { };
getdp = callPackage ../applications/science/math/getdp { stdenv = gcc10StdenvCompat; };
getdp = callPackage ../applications/science/math/getdp { };
gurobi = callPackage ../applications/science/math/gurobi { };