Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 9402a566206f855234f3bdd90983974ea96f6e07
https://github.com/NixOS/nixpkgs/commit/9402a566206f855234f3bdd90983974ea96f6e07
Author: John Wiegley <jo...@newartisans.com>
Date: 2015-04-26 (Sun, 26 Apr 2015)
Changed paths:
A pkgs/applications/science/logic/coq/8.5.nix
A pkgs/development/coq-modules/mathcomp/1.5.nix
A pkgs/development/coq-modules/ssreflect/1.5.nix
A pkgs/development/coq-modules/ssreflect/threads.patch
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq_8_5: New expression
Commit: 3768a7aea9455b48ad2c5c9eaa78ab6ea494973b
https://github.com/NixOS/nixpkgs/commit/3768a7aea9455b48ad2c5c9eaa78ab6ea494973b
Author: John Wiegley <jo...@newartisans.com>
Date: 2015-04-26 (Sun, 26 Apr 2015)
Changed paths:
A pkgs/applications/science/logic/coq/8.5.nix
A pkgs/development/coq-modules/mathcomp/1.5.nix
A pkgs/development/coq-modules/ssreflect/1.5.nix
A pkgs/development/coq-modules/ssreflect/threads.patch
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #7539 from jwiegley/coq_8_5
coq_8_5: New expression
Compare: https://github.com/NixOS/nixpkgs/compare/de808ae79fcd...3768a7aea945_______________________________________________
nix-commits mailing list
nix-commits@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
