2022-12-05T07:39:11 coq 8.16.0 -> 8.16.1 https://repology.org/metapackage/coq/versions
2022-12-05T07:39:14 attrpath: coq
2022-12-05T07:39:14 Checking auto update branch...
2022-12-05T07:39:14 No auto update branch exists
2022-12-05T07:39:14 There might already be an open PR for this update:
- coq: 8.16.0 → 8.16.1
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/203797"

2022-12-05T19:33:24 coq 8.16.0 -> 8.16.1 https://github.com/coq/coq/releases
2022-12-05T19:33:26 attrpath: coq
2022-12-05T19:33:27 Checking auto update branch...
2022-12-05T19:33:27 No auto update branch exists
2022-12-05T19:33:31 Do not update GNOME during a release cycle