polarity: latest-unstable-2025-07-30 -> latest-unstable-2025-08-05 (#432715)

authored by Nick Cao and committed by GitHub 9d8dde6f 3fe22110

+3 -3
+3 -3
pkgs/by-name/po/polarity/package.nix
··· 7 8 rustPlatform.buildRustPackage rec { 9 pname = "polarity"; 10 - version = "latest-unstable-2025-07-30"; 11 12 src = fetchFromGitHub { 13 owner = "polarity-lang"; 14 repo = "polarity"; 15 - rev = "2f7056d3c201680c9a7f267b4f39e82518bc5660"; 16 - hash = "sha256-9H6ICxrZICjfR+URnVVFGdk4lVUp89EIbaHrToDRUNQ="; 17 }; 18 19 cargoHash = "sha256-SXGuf/JaBfPZgbCAfRmC2Gd82kOn54VQrc7FdmVJRuA=";
··· 7 8 rustPlatform.buildRustPackage rec { 9 pname = "polarity"; 10 + version = "latest-unstable-2025-08-05"; 11 12 src = fetchFromGitHub { 13 owner = "polarity-lang"; 14 repo = "polarity"; 15 + rev = "5adc14a5d3151ed124d89768c382e085caf612ac"; 16 + hash = "sha256-ByTUzruKM0u8SfRM88ogvsGw0JijWAVv8oidVdAGNUs="; 17 }; 18 19 cargoHash = "sha256-SXGuf/JaBfPZgbCAfRmC2Gd82kOn54VQrc7FdmVJRuA=";