diff options
author | Robin Gloster <mail@glob.in> | 2016-06-10 09:27:04 +0000 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2016-06-10 09:27:04 +0000 |
commit | 8031cba2ab3146977141fc504bea2a1e03b5c126 (patch) | |
tree | 0cd68c0007851dfed7d7f8247754b5c4b356704e /pkgs/development/tools/analysis | |
parent | 2a5e64b69c83592caf900cb0b7213235e96368de (diff) | |
parent | 656c48f141be5886c515a1a874a47472cbbac6bd (diff) | |
download | nixlib-8031cba2ab3146977141fc504bea2a1e03b5c126.tar nixlib-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.gz nixlib-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.bz2 nixlib-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.lz nixlib-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.xz nixlib-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.zst nixlib-8031cba2ab3146977141fc504bea2a1e03b5c126.zip |
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
Diffstat (limited to 'pkgs/development/tools/analysis')
-rw-r--r-- | pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix | 2 | ||||
-rw-r--r-- | pkgs/development/tools/analysis/smatch/default.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix b/pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix index 01299966eb1b..740d51cc1348 100644 --- a/pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix +++ b/pkgs/development/tools/analysis/garcosim/tracefilesim/default.nix @@ -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; }; diff --git a/pkgs/development/tools/analysis/smatch/default.nix b/pkgs/development/tools/analysis/smatch/default.nix index e3fd1306cece..1730eb6a6831 100644 --- a/pkgs/development/tools/analysis/smatch/default.nix +++ b/pkgs/development/tools/analysis/smatch/default.nix @@ -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] |