coq 8.18.0 -> 8.19.0 https://github.com/coq/coq/releases
attrpath: coq
Checking auto update branch...
No auto update branch exists
[version] 
stderr did not split as expected full stderr was: 
error: unable to download 'https://github.com/coq/coq/archive/8.18.tar.gz': HTTP error 404

       response body:

       404: Not Found
(use '--show-trace' to show detailed location information)
stderr did not split as expected full stderr was: 
error: attribute 'originalSrc' in selection path 'coq.originalSrc' not found
stderr did not split as expected full stderr was: 
error: unable to download 'https://github.com/coq/coq/archive/8.18.tar.gz': HTTP error 404

       response body:

       404: Not Found
(use '--show-trace' to show detailed location information)