Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 43b6d42fbd41e1c4fa563da1033d57ac938eb927
      
https://github.com/NixOS/nixpkgs/commit/43b6d42fbd41e1c4fa563da1033d57ac938eb927
  Author: Mateusz Kowalczyk <[email protected]>
  Date:   2014-11-17 (Mon, 17 Nov 2014)

  Changed paths:
    M pkgs/applications/networking/mailreaders/imapfilter.nix

  Log Message:
  -----------
  imapfilter: update from 2.5.6 to 2.5.7


  Commit: 9e79811eb6fe04e424e03b7b9e319a3d020cc579
      
https://github.com/NixOS/nixpkgs/commit/9e79811eb6fe04e424e03b7b9e319a3d020cc579
  Author: Mateusz Kowalczyk <[email protected]>
  Date:   2014-11-17 (Mon, 17 Nov 2014)

  Changed paths:
    M pkgs/development/compilers/agda/stdlib.nix

  Log Message:
  -----------
  AgdaStdlib: update to 0.9

This should have really been updated with Agda itself.


  Commit: 9ee5b8d3fc26c54d52e5f2756cf62265c442a515
      
https://github.com/NixOS/nixpkgs/commit/9ee5b8d3fc26c54d52e5f2756cf62265c442a515
  Author: Mateusz Kowalczyk <[email protected]>
  Date:   2014-11-17 (Mon, 17 Nov 2014)

  Changed paths:
    M pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix

  Log Message:
  -----------
  agda-iowa-stdlib: mark as broken

The recent update of Agda breaks this, including the most recent SVN
checkout. I notified the author but marking as broken until a fix is
committed.


Compare: https://github.com/NixOS/nixpkgs/compare/a7ea8bea2614...9ee5b8d3fc26
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits

Reply via email to