Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae
https://github.com/NixOS/nixpkgs/commit/2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae
Author: John Wiegley <[email protected]>
Date: 2015-11-25 (Wed, 25 Nov 2015)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
Revert "coq: 8.5b2 -> 8.5b3"
This reverts commit c111b0cd4d3d9b419e63623364132f2e6e55db44.
@oconnorr I will restore this once there is more ecosystem to support it.
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
