Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f
https://github.com/NixOS/nixpkgs/commit/5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f
Author: laMudri <lamu...@gmail.com>
Date: 2016-12-24 (Sat, 24 Dec 2016)
Changed paths:
M pkgs/development/libraries/agda/agda-stdlib/default.nix
Log Message:
-----------
AgdaStdlib: v0.12 -> v0.13
Commit: 9e0867586cf147729ba84e4b0aaffff9b34eb669
https://github.com/NixOS/nixpkgs/commit/9e0867586cf147729ba84e4b0aaffff9b34eb669
Author: Peter Simons <sim...@cryp.to>
Date: 2017-02-15 (Wed, 15 Feb 2017)
Changed paths:
M pkgs/development/libraries/agda/agda-stdlib/default.nix
Log Message:
-----------
Merge pull request #21396 from laMudri/stdlib-v0.13
AgdaStdlib: v0.12 -> v0.13
Compare: https://github.com/NixOS/nixpkgs/compare/397e59b4c93a...9e0867586cf1_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
