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

Merge remote-tracking branch 'upstream/master' into hardened-stdenv

Browse Source
This commit is contained in:
Robin Gloster
2016-06-10 09:27:04 +00:00
parent 2a5e64b69c 656c48f141
commit 8031cba2ab
1116 changed files with 79612 additions and 24052 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix
+1 -1
View File
@@ -19,7 +19,7 @@ stdenv.mkDerivation {
description = "Ease the analysis of existing memory management techniques, as well as the prototyping of new memory management techniques.";
homepage = "https://github.com/GarCoSim";
maintainers = [ maintainers.cmcdragonkai ];
licenses = licenses.gpl2;
license = licenses.gpl2;
platforms = platforms.linux;
};
pkgs/development/tools/analysis/smatch/default.nix
+1 -1
View File
@@ -13,7 +13,7 @@ stdenv.mkDerivation {
src = fetchgit {
url = git://repo.or.cz/smatch.git;
rev = "23656e3e578b700cbf96d043f039e6341a3ba5b9";
sha256 = "09a44967d4cff026c67062f778e251d0b432af132e9d59a47b7d3167f379adfa";
sha256 = "0r43qi6vryqg450fj73yjwbb7gzcgx64rhrhb3r1m6a252srijiy";
};
buildInputs = [sqlite pkgconfig perl]