diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-11-03 18:05:42 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-11-03 18:05:42 +0100 |
commit | 60b3abeeeca00a4e2915389305168cde4e30c2fe (patch) | |
tree | 250e1d2ec11f04fb2b44e6388198ed6c527b0976 /pkgs/top-level | |
parent | 2784272f5baa2ade2347c1e02a9665d85b85d723 (diff) |
aspino: drop gcc10StdenvCompat
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 41b2e54937173..32d09e9d745fe 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -39461,9 +39461,7 @@ with pkgs; alt-ergo = callPackage ../applications/science/logic/alt-ergo { }; - aspino = callPackage ../applications/science/logic/aspino { - stdenv = gcc10StdenvCompat; - }; + aspino = callPackage ../applications/science/logic/aspino { }; beluga = callPackage ../applications/science/logic/beluga { }; |