Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: f7b7d8e7b59f5e13338be76256e8b524eb993959 https://github.com/NixOS/nixpkgs/commit/f7b7d8e7b59f5e13338be76256e8b524eb993959 Author: Guillaume Maudoux <layus...@gmail.com> Date: 2017-02-07 (Tue, 07 Feb 2017)
Changed paths: M pkgs/top-level/dotnet-packages.nix Log Message: ----------- dafny: fix meta attribute
_______________________________________________ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits