coq2html 1.3 -> 1.4 https://github.com/xavierleroy/coq2html/releases
attrpath: coq2html
Checking auto update branch...
An auto update branch exists with message `coq2html: 1.3 -> 1.4`. New version is 1.4.
An auto update branch exists with an equal or greater version