Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: a12f3d232d5bc99913537e44c25ee16afba628a0
https://github.com/NixOS/nixpkgs/commit/a12f3d232d5bc99913537e44c25ee16afba628a0
Author: John Wiegley <[email protected]>
Date: 2016-10-31 (Mon, 31 Oct 2016)
Changed paths:
A pkgs/development/coq-modules/fiat/HEAD.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
