Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: f277185b4863908637e301b326df6c2d7ee8e59c
https://github.com/NixOS/nixpkgs/commit/f277185b4863908637e301b326df6c2d7ee8e59c
Author: Austin Seipp <[email protected]>
Date: 2016-08-13 (Sat, 13 Aug 2016)
Changed paths:
M pkgs/development/compilers/compcert/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
nixpkgs: compcert 2.6 -> 2.7.1
Signed-off-by: Austin Seipp <[email protected]>
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
