2022-12-03T00:16:00 dafny 2.3.0 -> 3.9.1 https://github.com/Microsoft/dafny/releases
2022-12-03T00:16:02 attrpath: dafny
2022-12-03T00:16:02 Checking auto update branch...
2022-12-03T00:16:02 No auto update branch exists
2022-12-03T00:16:03 There might already be an open PR for this update:
- python27: mark as vulnerable/insecure
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/201859"

2022-12-03T13:11:36 Dafny 2.3.0 -> 3.9.1 https://repology.org/metapackage/Dafny/versions
2022-12-03T13:11:38 attrpath: dafny
2022-12-03T13:11:39 Checking auto update branch...
2022-12-03T13:11:39 No auto update branch exists
2022-12-03T13:11:39 There might already be an open PR for this update:
- python27: mark as vulnerable/insecure
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/201859"

2022-12-03T23:13:41 dafny 2.3.0 -> 3.9.1 https://github.com/Microsoft/dafny/releases
2022-12-03T23:13:44 attrpath: dafny
2022-12-03T23:13:44 Checking auto update branch...
2022-12-03T23:13:44 No auto update branch exists
2022-12-03T23:13:44 There might already be an open PR for this update:
- python27: mark as vulnerable/insecure
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/201859"