Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 67529e7a08b875b6d29905ccfe1b81887aa7d888
https://github.com/NixOS/nixpkgs/commit/67529e7a08b875b6d29905ccfe1b81887aa7d888
Author: Vincent Laporte <[email protected]>
Date: 2015-05-05 (Tue, 05 May 2015)
Changed paths:
R
pkgs/development/tools/analysis/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch
M pkgs/development/tools/analysis/frama-c/default.nix
Log Message:
-----------
frama-c: update from Neon to Sodium
Commit: 4a9df12721ab354a61f39f93e99c59e7ca2fc3ee
https://github.com/NixOS/nixpkgs/commit/4a9df12721ab354a61f39f93e99c59e7ca2fc3ee
Author: Pascal Wittmann <[email protected]>
Date: 2015-05-05 (Tue, 05 May 2015)
Changed paths:
R
pkgs/development/tools/analysis/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch
M pkgs/development/tools/analysis/frama-c/default.nix
Log Message:
-----------
Merge pull request #7708 from vbgl/framac-sodium
frama-c: update from Neon to Sodium
Compare: https://github.com/NixOS/nixpkgs/compare/06255562b6d6...4a9df12721ab_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
