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

Merge pull request #37165 from mbode/spass_gcc

Browse Source 
spass: make gcc dependency explicit
This commit is contained in:
Daiderd Jordan 2018-03-18 18:29:46 +01:00 committed by GitHub
commit 38c4c3acd7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View File

@ -19835,7 +19835,9 @@ with pkgs;
saw-tools = callPackage ../applications/science/logic/saw-tools {}; saw-tools = callPackage ../applications/science/logic/saw-tools {};
spass = callPackage ../applications/science/logic/spass {}; spass = callPackage ../applications/science/logic/spass {
stdenv = gccStdenv;
};
statverif = callPackage ../applications/science/logic/statverif { }; statverif = callPackage ../applications/science/logic/statverif { };