Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 2e712b501c62b9ec11882421427591e80e48ccbc
https://github.com/NixOS/nixpkgs/commit/2e712b501c62b9ec11882421427591e80e48ccbc
Author: laMudri <[email protected]>
Date: 2016-06-07 (Tue, 07 Jun 2016)
Changed paths:
M pkgs/development/libraries/agda/agda-stdlib/default.nix
Log Message:
-----------
agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)
Commit: 949ede3d2fa91315868801b542c26b76e5d3333b
https://github.com/NixOS/nixpkgs/commit/949ede3d2fa91315868801b542c26b76e5d3333b
Author: laMudri <[email protected]>
Date: 2016-06-07 (Tue, 07 Jun 2016)
Changed paths:
M pkgs/development/libraries/agda/agda-prelude/default.nix
Log Message:
-----------
agda-prelude: 2014-09-27 -> 2016-04-18
Commit: 28f4f157770bae0256ecf29c1058ac5336d54541
https://github.com/NixOS/nixpkgs/commit/28f4f157770bae0256ecf29c1058ac5336d54541
Author: laMudri <[email protected]>
Date: 2016-06-07 (Tue, 07 Jun 2016)
Changed paths:
M pkgs/development/libraries/agda/Agda-Sheaves/default.nix
M pkgs/development/libraries/agda/TotalParserCombinators/default.nix
M pkgs/development/libraries/agda/agda-base/default.nix
M pkgs/development/libraries/agda/bitvector/default.nix
Log Message:
-----------
Agda: marked some old packages as broken
Commit: ae1e12f72550b0fc01159a3493e7a56d99a668cb
https://github.com/NixOS/nixpkgs/commit/ae1e12f72550b0fc01159a3493e7a56d99a668cb
Author: Peter Simons <[email protected]>
Date: 2016-06-07 (Tue, 07 Jun 2016)
Changed paths:
M pkgs/development/libraries/agda/Agda-Sheaves/default.nix
M pkgs/development/libraries/agda/TotalParserCombinators/default.nix
M pkgs/development/libraries/agda/agda-base/default.nix
M pkgs/development/libraries/agda/agda-prelude/default.nix
M pkgs/development/libraries/agda/agda-stdlib/default.nix
M pkgs/development/libraries/agda/bitvector/default.nix
Log Message:
-----------
Merge pull request #16038 from laMudri/Agda-fixed-3
Agda: 2.4 -> 2.5.1 (new)
Compare: https://github.com/NixOS/nixpkgs/compare/0264d340580c...ae1e12f72550_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
