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
