polarity: latest-unstable-2025-07-15 -> latest-unstable-2025-07-30 (#430294)

Co-authored-by: MangoIV <MangoIV@users.noreply.github.com>
This commit is contained in:
nixpkgs-merge-bot[bot]
2025-08-02 07:00:47 +00:00
committed by GitHub
+3 -3
View File
@@ -7,13 +7,13 @@
rustPlatform.buildRustPackage rec {
pname = "polarity";
version = "latest-unstable-2025-07-15";
version = "latest-unstable-2025-07-30";
src = fetchFromGitHub {
owner = "polarity-lang";
repo = "polarity";
rev = "83bd1bd5bc461421115333e423f45a7735782638";
hash = "sha256-+l3pS8IpPvebpX++ezcC05X06f+NnBZBsNVXEHTYh6A=";
rev = "2f7056d3c201680c9a7f267b4f39e82518bc5660";
hash = "sha256-9H6ICxrZICjfR+URnVVFGdk4lVUp89EIbaHrToDRUNQ=";
};
cargoHash = "sha256-SXGuf/JaBfPZgbCAfRmC2Gd82kOn54VQrc7FdmVJRuA=";