what is YOURPACKAGENAME?

[gares]

It happens that my package is in nix already, so I picked the non short name of the package. But from the README is not so clear what one should put there.

Is the opam name ok? How do I search nix for my package being already there?

[Zimmi48]

You can use https://search.nixos.org/packages?channel=unstable&from=0&size=50&sort=relevance&query=coqPackages to search for your package.

I think the name expected here is the one that follows the coqPackages. prefix. So it would be similar to what comes after the coq- prefix in the opam name, but some preexisting packages might use some capitalization that's probably not there in opam.

[gares]

OK thanks, but my real intent was to help you improve the doc, not to answer these questions here ;-)