Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: a577b3666e2d2d200d74578603d7aaccc88bcdd2
https://github.com/NixOS/nixpkgs/commit/a577b3666e2d2d200d74578603d7aaccc88bcdd2
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2016-06-09 (Thu, 09 Jun 2016)
Changed paths:
M pkgs/applications/science/logic/why3/default.nix
Log Message:
-----------
why3: 0.87.0 -> 0.87.1
Commit: 530a9ab9810b3fb82015f5f0cf56b125c1ba31c3
https://github.com/NixOS/nixpkgs/commit/530a9ab9810b3fb82015f5f0cf56b125c1ba31c3
Author: Gabriel Ebner <geb...@gebner.org>
Date: 2016-07-18 (Mon, 18 Jul 2016)
Changed paths:
M pkgs/applications/science/logic/why3/default.nix
Log Message:
-----------
Merge remote-tracking branch 'vbgl/why3-0.87.1'
Compare: https://github.com/NixOS/nixpkgs/compare/a89623339654...530a9ab9810b
_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits