Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 0bdc0143fe87bc9357a5ad8e5379010aa67df1de
https://github.com/NixOS/nixpkgs/commit/0bdc0143fe87bc9357a5ad8e5379010aa67df1de
Author: Austin Seipp <ase...@pobox.com>
Date: 2016-11-10 (Thu, 10 Nov 2016)
Changed paths:
M pkgs/applications/science/logic/proverif/default.nix
Log Message:
-----------
nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <ase...@pobox.com>
Commit: e79264002a1b240eb27e7e356bc38993d64e6a92
https://github.com/NixOS/nixpkgs/commit/e79264002a1b240eb27e7e356bc38993d64e6a92
Author: Austin Seipp <ase...@pobox.com>
Date: 2016-11-10 (Thu, 10 Nov 2016)
Changed paths:
M pkgs/applications/version-management/bitkeeper/default.nix
Log Message:
-----------
nixpkgs: bitkeeper 7.3ce -> 7.3.1ce
Signed-off-by: Austin Seipp <ase...@pobox.com>
Compare: https://github.com/NixOS/nixpkgs/compare/14a3d2d2fff0...e79264002a1b_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
