<ptival[m]>
hi everyone, I'm confused as to how one would add a package to a language's package set using NUR... it seems like it's too late, unless the language provides a way to override its packages?
<ptival[m]>
for instance, `haskellPackages` seems to have some `override`, but `coqPackages` does not, so is it impossible to add packages inside the `coqPackages` attribute set?
<ptival[m]>
hmm... now how to use this overlay in a derivation? you'd want to write `{ nixpkgs ? import <nixpkgs> { overlays = [ ???.nur.<me>.overlays.<my-overlay> ]; } }: ...`, but `???` should be `nixpkgs` itself... how to get around this?