2022-11-07T04:46:13 gnatcoll-gmp 22.0.0 -> 23.0.0 https://github.com/AdaCore/gnatcoll-bindings/releases 2022-11-07T04:46:16 attrpath: gnatcoll-gmp 2022-11-07T04:46:16 Checking auto update branch... 2022-11-07T04:46:16 No auto update branch exists 2022-11-07T04:46:16 There might already be an open PR for this update: - xmlada: 22.0.0 -> 23.0.0 URL "https://api.github.com/repos/NixOS/nixpkgs/issues/197008" 2022-11-07T21:20:44 gnatcoll-gmp 22.0.0 -> 23.0.0 https://github.com/AdaCore/gnatcoll-bindings/releases 2022-11-07T21:20:46 attrpath: gnatcoll-gmp 2022-11-07T21:20:46 Checking auto update branch... 2022-11-07T21:20:46 No auto update branch exists 2022-11-07T21:20:47 There might already be an open PR for this update: - xmlada: 22.0.0 -> 23.0.0 URL "https://api.github.com/repos/NixOS/nixpkgs/issues/197008"