hackage4nix.hs: ignore agda stdlib