Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 711e9e20de5e3b42e6416d047c2526e0336ce1c7
https://github.com/NixOS/nixpkgs/commit/711e9e20de5e3b42e6416d047c2526e0336ce1c7
Author: Gabriel Ebner <[email protected]>
Date: 2016-01-02 (Sat, 02 Jan 2016)
Changed paths:
M pkgs/applications/science/logic/metis-prover/default.nix
Log Message:
-----------
metis-prover: 2.3 -> 2.3.20160101
Commit: a158f61313498def344bafbc81d60733e577ba8b
https://github.com/NixOS/nixpkgs/commit/a158f61313498def344bafbc81d60733e577ba8b
Author: Arseniy Seroka <[email protected]>
Date: 2016-01-03 (Sun, 03 Jan 2016)
Changed paths:
M pkgs/applications/science/logic/metis-prover/default.nix
Log Message:
-----------
Merge pull request #12092 from gebner/metis-20160101
metis-prover: 2.3 -> 2.3.20160101
Compare: https://github.com/NixOS/nixpkgs/compare/1979034956c4...a158f6131349_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
