polarity: latest-unstable-2025-07-06 -> latest-unstable-2025-07-15 (#425673)

Co-authored-by: MangoIV <MangoIV@users.noreply.github.com>
This commit is contained in:
nixpkgs-merge-bot[bot] 2025-07-16 06:32:24 +00:00 committed by GitHub
commit 461abe53f2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -7,17 +7,17 @@
rustPlatform.buildRustPackage rec {
pname = "polarity";
version = "latest-unstable-2025-07-06";
version = "latest-unstable-2025-07-15";
src = fetchFromGitHub {
owner = "polarity-lang";
repo = "polarity";
rev = "f95159a91c712984a51103ea6b6f32ed7f59f4df";
hash = "sha256-iKhxvJtVeTIFQUgtlLPBH9Swvw8om61FxwahOov9xDs=";
rev = "83bd1bd5bc461421115333e423f45a7735782638";
hash = "sha256-+l3pS8IpPvebpX++ezcC05X06f+NnBZBsNVXEHTYh6A=";
};
useFetchCargoVendor = true;
cargoHash = "sha256-bQVZEYQ9KRiG+DAl1XAEjhuXg+Rtt65srwL9yXBYhf0=";
cargoHash = "sha256-SXGuf/JaBfPZgbCAfRmC2Gd82kOn54VQrc7FdmVJRuA=";
passthru.updateScript = nix-update-script { extraArgs = [ "--version=branch" ]; };