Unverified Commit 61dca756 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #265274 from wegank/aspino-gcc 

aspino: drop gcc10StdenvCompat
parents 88c57570 60b3abee

pkgs/top-level/all-packages.nix

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