Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 68e1419cb8eca6e306ec0a75f37621ae7aefabed
https://github.com/NixOS/nixpkgs/commit/68e1419cb8eca6e306ec0a75f37621ae7aefabed
Author: laMudri <lamu...@gmail.com>
Date: 2016-05-21 (Sat, 21 May 2016)
Changed paths:
M pkgs/development/haskell-modules/hackage-packages.nix
Log Message:
-----------
Agda: prebuild all of the new builtin modules
Commit: 072ce88eb9b3774321bd70103027a5561f22b72b
https://github.com/NixOS/nixpkgs/commit/072ce88eb9b3774321bd70103027a5561f22b72b
Author: laMudri <lamu...@gmail.com>
Date: 2016-05-21 (Sat, 21 May 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: 92b843f9a5eaa889b4453db078e0935752ef7ff0
https://github.com/NixOS/nixpkgs/commit/92b843f9a5eaa889b4453db078e0935752ef7ff0
Author: laMudri <lamu...@gmail.com>
Date: 2016-05-21 (Sat, 21 May 2016)
Changed paths:
M pkgs/development/libraries/agda/agda-prelude/default.nix
Log Message:
-----------
agda-prelude: 2014-09-27 -> 2016-04-18
Commit: 6343cf8ae7e593db58d476e36396ecb9670bd501
https://github.com/NixOS/nixpkgs/commit/6343cf8ae7e593db58d476e36396ecb9670bd501
Author: laMudri <lamu...@gmail.com>
Date: 2016-05-21 (Sat, 21 May 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: ce4f6c215f2f34435638113421dd291a57d16715
https://github.com/NixOS/nixpkgs/commit/ce4f6c215f2f34435638113421dd291a57d16715
Author: Joachim Fasting <joach...@users.noreply.github.com>
Date: 2016-05-23 (Mon, 23 May 2016)
Changed paths:
M pkgs/development/haskell-modules/hackage-packages.nix
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 #15595 from laMudri/agda-stdlib
Agda: 2.4.2.3 -> 2.5.1
Compare: https://github.com/NixOS/nixpkgs/compare/7817d0901d44...ce4f6c215f2f_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
