Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 6a238d4b3edebfc878e470d2a62e00d7337d2dd8
https://github.com/NixOS/nixpkgs/commit/6a238d4b3edebfc878e470d2a62e00d7337d2dd8
Author: Vincent Laporte <[email protected]>
Date: 2015-09-27 (Sun, 27 Sep 2015)
Changed paths:
M pkgs/development/coq-modules/coq-ext-lib/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
Commit: 0de1939a777a77bb6e9362cf6eda004aad8efb8b
https://github.com/NixOS/nixpkgs/commit/0de1939a777a77bb6e9362cf6eda004aad8efb8b
Author: vbgl <[email protected]>
Date: 2015-10-05 (Mon, 05 Oct 2015)
Changed paths:
M pkgs/development/coq-modules/coq-ext-lib/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #10087 from vbgl/coq-ext-lib
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
Compare: https://github.com/NixOS/nixpkgs/compare/61672889f272...0de1939a777a_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
