Commit 60b3abee authored by Weijia Wang's avatar Weijia Wang
Browse files

aspino: drop gcc10StdenvCompat

parent 2784272f

pkgs/top-level/all-packages.nix

+1 −3
Original line number Diff line number Diff line
@@ -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 { };