Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 833800aeba183ac8279fded97fbd7e0214174ec5
https://github.com/NixOS/nixpkgs/commit/833800aeba183ac8279fded97fbd7e0214174ec5
Author: Vincent Laporte <[email protected]>
Date: 2015-01-25 (Sun, 25 Jan 2015)
Changed paths:
R pkgs/development/coq-modules/containers/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq-containers: remove
Commit: 88d31f6db01ad2ed98f6a826f76c1e499a31bb25
https://github.com/NixOS/nixpkgs/commit/88d31f6db01ad2ed98f6a826f76c1e499a31bb25
Author: Vincent Laporte <[email protected]>
Date: 2015-01-25 (Sun, 25 Jan 2015)
Changed paths:
A pkgs/development/coq-modules/contribs/all.nix
A pkgs/development/coq-modules/contribs/default.nix
A pkgs/development/coq-modules/contribs/mk-contrib.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coqPackages: add contribs (close #5242)
The Coq Users' Contributions
Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/index
Compare: https://github.com/NixOS/nixpkgs/compare/bbb9c929713e...88d31f6db01a_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
