Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 28bfbb55626085717f258f2abcffba51f921a1ac
https://github.com/NixOS/nixpkgs/commit/28bfbb55626085717f258f2abcffba51f921a1ac
Author: Vincent Laporte <[email protected]>
Date: 2015-06-01 (Mon, 01 Jun 2015)
Changed paths:
M pkgs/applications/science/logic/why3/default.nix
Log Message:
-----------
why3: update from 0.85 to 0.86.1
Commit: 526a777ee63aa32b85280f712df4e57479415cca
https://github.com/NixOS/nixpkgs/commit/526a777ee63aa32b85280f712df4e57479415cca
Author: Pascal Wittmann <[email protected]>
Date: 2015-06-01 (Mon, 01 Jun 2015)
Changed paths:
M pkgs/applications/science/logic/why3/default.nix
Log Message:
-----------
Merge pull request #8104 from vbgl/why3-86
why3: update from 0.85 to 0.86.1
Compare: https://github.com/NixOS/nixpkgs/compare/3935379089de...526a777ee63a_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
