Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 6a2244e8f453ab6c66dff9411735c81cbad879fa https://github.com/NixOS/nixpkgs/commit/6a2244e8f453ab6c66dff9411735c81cbad879fa Author: Joachim Fasting <joach...@fastmail.fm> 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: ----------- Revert "Merge pull request #15595 from laMudri/agda-stdlib" This reverts commit ce4f6c215f2f34435638113421dd291a57d16715, reversing changes made to 7817d0901d44ba97e5862e94840098e2b97d8631. See https://github.com/NixOS/nixpkgs/pull/15595/commits/68e1419cb8eca6e306ec0a75f37621ae7aefabed#r64175487
_______________________________________________ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits