polarity: latest-unstable-2025-09-17 -> latest-unstable-2025-09-25 (#447804)

This commit is contained in:
Nick Cao
2025-10-01 23:25:55 +00:00
committed by GitHub
+3 -3
View File
@@ -7,13 +7,13 @@
rustPlatform.buildRustPackage rec {
pname = "polarity";
version = "latest-unstable-2025-09-17";
version = "latest-unstable-2025-09-25";
src = fetchFromGitHub {
owner = "polarity-lang";
repo = "polarity";
rev = "20a0394d99752947f78e152854efd19852616968";
hash = "sha256-Gu9PwRqMjFzubFkyRRbxcfG6mmID8HIJclkW7sDDWYo=";
rev = "e582716daae20d534f7c7ecc58569bfd28d679f2";
hash = "sha256-L9eBD8rA8cBdd2FFeyFKSl8/lse1OlgogEOTkVYkxHo=";
};
cargoHash = "sha256-EB6DlhD+0oneAGhLHi3bWnnFUIfNdKeW52umWHZEP7c=";