coq 8.18.0 -> 8.19.0 https://github.com/coq/coq/releases
attrpath: coq
Checking auto update branch...
No auto update branch exists
There might already be an open PR for this update:
- coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0}
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/288185"