Done

A couple points:

• In general, Haskell packages (even packages with only an exectuable) should be uploaded to Hackage. That way, Haskellers can get them through their normal channels (like cabal, stack, Nixpkgs, haskell.nix, other Linux distros, etc). Uploading your Haskell programs to Hackage means that you mostly don't have to do any work to keep it up-to-date in Nixpkgs. It gets automatically updated to the latest release on Hackage. If you're not the maintainer, I'd highly recommend creating an issue upstream urging the maintainer to release to Hackage. (Although it appears that it wouldn't have helped in this case, since you're using an un-released version. But in general it still holds true.)

• Is there somewhere I need to register naproche so it will get caught here in the next round of updates

  You can add naproche to the list in

  nixpkgs/pkgs/top-level/release-haskell.nix

  Lines 140 to 145 in 0bbb656

  	inherit (pkgsPlatforms)
  	agda
  	arion
  	bench
  	bustle
  	blucontrol

  This makes sure that naproche will appear in the build reports for the haskell-updates PRs. Here's an example build report:

  haskellPackages: update stackage and hackage #168049 (comment)

• It is generally easier for us to have Haskell-related PRs targetting the haskell-updates branch instead of master (although this shouldn't prevent this PR from getting merged in as-is). In the future, you can also feel free to ping @-NixOS/haskell to get your Haskell-related PRs reviewed/merged.

Thanks.

• Yeah, I am not the maintainer, and I don't think they will upload it to hackage any time soon. I just need it for isabelle
• Thanks, added it now there
• ok, i will target haskell-updates in the future

Thanks for the quick response!

Thanks for the quick reply :)