gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

clingcon: stdenv -> gcc10Stdenv

Browse Source
This commit is contained in:
Alexander Bantyev
2022-05-29 17:18:37 +04:00
parent 8bdc1401a2
commit c6af26acfc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/all-packages.nix
+1 -1
View File
@@ -3006,7 +3006,7 @@ with pkgs;
clingo = callPackage ../applications/science/logic/potassco/clingo.nix { };
clingcon = callPackage ../applications/science/logic/potassco/clingcon.nix { };
clingcon = callPackage ../applications/science/logic/potassco/clingcon.nix { stdenv = gcc10StdenvCompat; };
clprover = callPackage ../applications/science/logic/clprover/clprover.nix { };