Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: be19637b2af3a75fbc96fe9cd3ead5caac2800ff
https://github.com/NixOS/nixpkgs/commit/be19637b2af3a75fbc96fe9cd3ead5caac2800ff
Author: Austin Seipp <[email protected]>
Date: 2016-06-28 (Tue, 28 Jun 2016)
Changed paths:
A pkgs/applications/science/logic/proverif/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
proverif: init at 1.94
Signed-off-by: Austin Seipp <[email protected]>
Commit: a69799c7407fd9bbcfd88ef241c4c0b6ad37e31b
https://github.com/NixOS/nixpkgs/commit/a69799c7407fd9bbcfd88ef241c4c0b6ad37e31b
Author: Austin Seipp <[email protected]>
Date: 2016-06-28 (Tue, 28 Jun 2016)
Changed paths:
A pkgs/applications/science/logic/statverif/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
statverif: init at 1.86pl4
Signed-off-by: Austin Seipp <[email protected]>
Commit: 25bf4a5634133906d43319dcbf0f6ed9ca2db029
https://github.com/NixOS/nixpkgs/commit/25bf4a5634133906d43319dcbf0f6ed9ca2db029
Author: Austin Seipp <[email protected]>
Date: 2016-06-28 (Tue, 28 Jun 2016)
Changed paths:
A pkgs/applications/science/logic/cryptoverif/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
cryptoverif: init at 1.22
Signed-off-by: Austin Seipp <[email protected]>
Commit: de6977ffe3f987cc6149af3546765c24e2bf3894
https://github.com/NixOS/nixpkgs/commit/de6977ffe3f987cc6149af3546765c24e2bf3894
Author: Austin Seipp <[email protected]>
Date: 2016-06-28 (Tue, 28 Jun 2016)
Changed paths:
M pkgs/development/tools/misc/unifdef/default.nix
Log Message:
-----------
unifdef: set platforms to unix, not linux
Apparently, Darwin evaluation is somehow busted without this, although
I can't verify it. Reported by @matthewbauer on IRC. I'll take the
blame if this somehow makes life worse.
/cc @vrthra as maintainer
Signed-off-by: Austin Seipp <[email protected]>
Compare: https://github.com/NixOS/nixpkgs/compare/20c8e628fd43...de6977ffe3f9_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
