Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: a12f3d232d5bc99913537e44c25ee16afba628a0 https://github.com/NixOS/nixpkgs/commit/a12f3d232d5bc99913537e44c25ee16afba628a0 Author: John Wiegley <jo...@newartisans.com> 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 nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits