polarity: latest-unstable-2025-07-30 -> latest-unstable-2025-08-05

This commit is contained in:
R. Ryantm 2025-08-11 06:14:10 +00:00
parent b1b0d690fb
commit f3b07bdd4f

View File

@ -7,13 +7,13 @@
rustPlatform.buildRustPackage rec {
pname = "polarity";
version = "latest-unstable-2025-07-30";
version = "latest-unstable-2025-08-05";
src = fetchFromGitHub {
owner = "polarity-lang";
repo = "polarity";
rev = "2f7056d3c201680c9a7f267b4f39e82518bc5660";
hash = "sha256-9H6ICxrZICjfR+URnVVFGdk4lVUp89EIbaHrToDRUNQ=";
rev = "5adc14a5d3151ed124d89768c382e085caf612ac";
hash = "sha256-ByTUzruKM0u8SfRM88ogvsGw0JijWAVv8oidVdAGNUs=";
};
cargoHash = "sha256-SXGuf/JaBfPZgbCAfRmC2Gd82kOn54VQrc7FdmVJRuA=";