Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 58297aa1e7d16afadd00ba0d412d80f4567bb40d
https://github.com/NixOS/nixpkgs/commit/58297aa1e7d16afadd00ba0d412d80f4567bb40d
Author: Vincent Laporte <[email protected]>
Date: 2015-01-29 (Thu, 29 Jan 2015)
Changed paths:
M pkgs/applications/science/logic/why3/default.nix
Log Message:
-----------
Why3: build also the Coq tactic.
Commit: 54c8a82818b56efb670eb6d9cd6d770ffcc657df
https://github.com/NixOS/nixpkgs/commit/54c8a82818b56efb670eb6d9cd6d770ffcc657df
Author: Vincent Laporte <[email protected]>
Date: 2015-01-29 (Thu, 29 Jan 2015)
Changed paths:
M pkgs/development/tools/ocaml/utop/default.nix
Log Message:
-----------
utop: wrap all installed programs
Commit: db75b5d052f67ffdda7232ab032161343e8cca59
https://github.com/NixOS/nixpkgs/commit/db75b5d052f67ffdda7232ab032161343e8cca59
Author: Vincent Laporte <[email protected]>
Date: 2015-01-29 (Thu, 29 Jan 2015)
Changed paths:
M pkgs/development/tools/ocaml/merlin/default.nix
Log Message:
-----------
merlin: update from 2.1 to 2.1.1
Compare: https://github.com/NixOS/nixpkgs/compare/78980ea300a0...db75b5d052f6_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
