hackage-packages.nix: we don't have a BSD4 license tag