Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: ccb2d83980f3a871cf603ff00234020dd1d38add
https://github.com/NixOS/nixpkgs/commit/ccb2d83980f3a871cf603ff00234020dd1d38add
Author: Guillaume Maudoux <layus...@gmail.com>
Date: 2017-02-06 (Mon, 06 Feb 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
M pkgs/top-level/dotnet-packages.nix
Log Message:
-----------
boogie: fix basename issues; promote to package
Commit: aeaf893e5733cb333256cb46f3925d69be103e38
https://github.com/NixOS/nixpkgs/commit/aeaf893e5733cb333256cb46f3925d69be103e38
Author: Guillaume Maudoux <layus...@gmail.com>
Date: 2017-02-07 (Tue, 07 Feb 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
M pkgs/top-level/dotnet-packages.nix
Log Message:
-----------
dafny: init at v1.9.8
Commit: d099c1b96d07beadee09be5ca47659ee47701942
https://github.com/NixOS/nixpkgs/commit/d099c1b96d07beadee09be5ca47659ee47701942
Author: Pascal Wittmann <pascalwittm...@gmx.net>
Date: 2017-02-07 (Tue, 07 Feb 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
M pkgs/top-level/dotnet-packages.nix
Log Message:
-----------
Merge pull request #22507 from layus/dafny-update
Add dafny; fixup Boogie
Compare: https://github.com/NixOS/nixpkgs/compare/04a128540d88...d099c1b96d07
_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits