2022-11-28T07:22:06 coq 8.16.0 -> 8.16.1 https://repology.org/metapackage/coq/versions
2022-11-28T07:22:08 attrpath: coq
2022-11-28T07:22:08 Checking auto update branch...
2022-11-28T07:22:08 No auto update branch exists
2022-11-28T07:22:13 Do not update GNOME during a release cycle
2022-11-28T16:54:41 coq 8.16.0 -> 8.16.1 https://github.com/coq/coq/releases
2022-11-28T16:54:43 attrpath: coq
2022-11-28T16:54:43 Checking auto update branch...
2022-11-28T16:54:43 No auto update branch exists
2022-11-28T16:54:47 Do not update GNOME during a release cycle