elan 1.4.6 -> 2.0.0 https://github.com/leanprover/elan/releases
attrpath: elan
Checking auto update branch...
No auto update branch exists
[version]
[version] generic version rewriter does not support multiple hashes
[rustCrateVersion]
[rustCrateVersion] Replacing cargoHash with sha256-9aLCElsoWTUsuy+muhCcgo/1xmRYsbQDvhRa5YsV3lM=
[rustCrateVersion] Finished updating Crate version and replacing hashes
[golangModuleVersion]
[golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash
[updateScript]
[updateScript] skipping because derivation has no updateScript
[quotedUrls]
[quotedUrls] nothing found to replace
Diff after rewrites:
diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix
index 597efbf49bd..05c2246d37a 100644
--- a/pkgs/applications/science/logic/elan/default.nix
+++ b/pkgs/applications/science/logic/elan/default.nix
@@ -3,16 +3,16 @@
rustPlatform.buildRustPackage rec {
pname = "elan";
- version = "1.4.6";
+ version = "2.0.0";
src = fetchFromGitHub {
owner = "leanprover";
repo = "elan";
rev = "v${version}";
- sha256 = "sha256-+GCmPT7dtd+XvmJv19XllZ6G4rB0+CYUt+lorr44aEQ=";
+ sha256 = "sha256-97gkBViNIqs03JuPlUOyE/X3UKzF5KVZBKH3JnXw37E=";
};
- cargoHash = "sha256-iWZutcYyBVujwjMHFUwwE/xDk6o5tPng1ZQ2mHgTbVk=";
+ cargoHash = "sha256-9aLCElsoWTUsuy+muhCcgo/1xmRYsbQDvhRa5YsV3lM=";
nativeBuildInputs = [ pkg-config makeWrapper ];
Successfully finished processing
cachix "/nix/store/gbpr22cx2sgljs4pj1dyxqg6bwrg7mjq-elan-2.0.0"
[check][nixpkgs-review]
Result of `nixpkgs-review` run on x86_64-linux [1](https://github.com/Mic92/nixpkgs-review)
1 package built:
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 7
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 7
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 11
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 14
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 14
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 14
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 14
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 17
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 24
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 30
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 30
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 29
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 28
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 27
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 24
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 24
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 24
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 26
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 25
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 23
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 22
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 21
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 20
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 19
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 17
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 14
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 17
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 16
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 15
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 14
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 14
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 13
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 12
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 11
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 10
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 7
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 7
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 6
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 7
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 8
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 7
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 9
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 7
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 5
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 4
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Waiting for OfBorg: https://events.ofborg.org/stats.php's evaluator.messages.waiting = 3
Automatic update generated by [nixpkgs-update](https://github.com/ryantm/nixpkgs-update) tools. This update was made based on information from https://github.com/leanprover/elan/releases.
meta.description for elan is: Small tool to manage your installations of the Lean theorem prover
meta.homepage for elan is: https://github.com/leanprover/elan
###### Updates performed
- Rust version update
###### To inspect upstream changes
- [Release on GitHub](https://github.com/leanprover/elan/releases/tag/v2.0.0)
- [Compare changes on GitHub](https://github.com/leanprover/elan/compare/v1.4.6...v2.0.0)
###### Impact
Checks done (click to expand)
---
- built on NixOS
- The tests defined in `passthru.tests`, if any, passed
- found 2.0.0 with grep in /nix/store/gbpr22cx2sgljs4pj1dyxqg6bwrg7mjq-elan-2.0.0
- found 2.0.0 in filename of file in /nix/store/gbpr22cx2sgljs4pj1dyxqg6bwrg7mjq-elan-2.0.0
---
Rebuild report (if merged into master) (click to expand)
```
1 total rebuild path(s)
1 package rebuild(s)
First fifty rebuilds by attrpath
elan
```
Instructions to test this update (click to expand)
---
Either **download from Cachix**:
```
nix-store -r /nix/store/gbpr22cx2sgljs4pj1dyxqg6bwrg7mjq-elan-2.0.0 \
--option binary-caches 'https://cache.nixos.org/ https://nix-community.cachix.org/' \
--option trusted-public-keys '
nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs=
cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
'
```
(The Cachix cache is only trusted for this store-path realization.)
For the Cachix download to work, your user must be in the `trusted-users` list or you can use `sudo` since root is effectively trusted.
Or, **build yourself**:
```
nix-build -A elan https://github.com/r-ryantm/nixpkgs/archive/bcebe08e9105312dd713e50e76107bf7d42a68ee.tar.gz
```
After you've downloaded or built it, look at the files and if there are any, run the binaries:
```
ls -la /nix/store/gbpr22cx2sgljs4pj1dyxqg6bwrg7mjq-elan-2.0.0
ls -la /nix/store/gbpr22cx2sgljs4pj1dyxqg6bwrg7mjq-elan-2.0.0/bin
```
---
### Pre-merge build results
We have automatically built all packages that will get rebuilt due to
this change.
This gives evidence on whether the upgrade will break dependent packages.
Note sometimes packages show up as _failed to build_ independent of the
change, simply because they are already broken on the target branch.
Result of `nixpkgs-review` run on x86_64-linux [1](https://github.com/Mic92/nixpkgs-review)
1 package built:
---
###### Maintainer pings
cc @gebner for [testing](https://github.com/ryantm/nixpkgs-update/blob/master/doc/nixpkgs-maintainer-faq.md#r-ryantm-opened-a-pr-for-my-package-what-do-i-do).
HTTPError (HttpExceptionRequest Request {
host = "api.github.com"
port = 443
secure = True
requestHeaders = [("User-Agent","github.hs/0.28.0.1"),("Accept","application/vnd.github.v3+json"),("Authorization","")]
path = "/repos/nixos/nixpkgs/pulls"
queryString = ""
method = "POST"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(StatusCodeException (Response {responseStatus = Status {statusCode = 422, statusMessage = "Unprocessable Entity"}, responseVersion = HTTP/1.1, responseHeaders = [("Server","GitHub.com"),("Date","Sun, 09 Jul 2023 23:31:04 GMT"),("Content-Type","application/json; charset=utf-8"),("Content-Length","190"),("X-OAuth-Scopes","gist, public_repo"),("X-Accepted-OAuth-Scopes",""),("X-GitHub-Media-Type","github.v3; format=json"),("x-github-api-version-selected","2022-11-28"),("X-RateLimit-Limit","5000"),("X-RateLimit-Remaining","4936"),("X-RateLimit-Reset","1688947294"),("X-RateLimit-Used","64"),("X-RateLimit-Resource","core"),("Access-Control-Expose-Headers","ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Used, X-RateLimit-Resource, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type, X-GitHub-SSO, X-GitHub-Request-Id, Deprecation, Sunset"),("Access-Control-Allow-Origin","*"),("Strict-Transport-Security","max-age=31536000; includeSubdomains; preload"),("X-Frame-Options","deny"),("X-Content-Type-Options","nosniff"),("X-XSS-Protection","0"),("Referrer-Policy","origin-when-cross-origin, strict-origin-when-cross-origin"),("Content-Security-Policy","default-src 'none'"),("Vary","Accept-Encoding, Accept, X-Requested-With"),("X-GitHub-Request-Id","9B76:3795:10011B94:102AFB43:64AB4337")], responseBody = (), responseCookieJar = CJ {expose = []}, responseClose' = ResponseClose, responseOriginalRequest = Request {
host = "api.github.com"
port = 443
secure = True
requestHeaders = [("User-Agent","github.hs/0.28.0.1"),("Accept","application/vnd.github.v3+json"),("Authorization","")]
path = "/repos/nixos/nixpkgs/pulls"
queryString = ""
method = "POST"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
}) "{\"message\":\"Validation Failed\",\"errors\":[{\"resource\":\"PullRequest\",\"field\":\"head\",\"code\":\"invalid\"}],\"documentation_url\":\"https://docs.github.com/rest/reference/pulls#create-a-pull-request\"}"))