polarity: latest-unstable-2025-11-06 -> latest-unstable-2025-11-13
This commit is contained in:
@@ -7,13 +7,13 @@
|
|||||||
|
|
||||||
rustPlatform.buildRustPackage rec {
|
rustPlatform.buildRustPackage rec {
|
||||||
pname = "polarity";
|
pname = "polarity";
|
||||||
version = "latest-unstable-2025-11-06";
|
version = "latest-unstable-2025-11-13";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "polarity-lang";
|
owner = "polarity-lang";
|
||||||
repo = "polarity";
|
repo = "polarity";
|
||||||
rev = "52211970b601db2e449ea6bc0a2e785d39c489c0";
|
rev = "38ae6d591a9b85dc43ab62b7e065e76fd4bb4d20";
|
||||||
hash = "sha256-jDhkBrLbk9B9xeEZ4A7jp6at/Hp4q2A/egoFgY2xK8I=";
|
hash = "sha256-CVZ6txAPQJWuOP7NHcYHs5AId1nIfTocg8AHt/4r6Vk=";
|
||||||
};
|
};
|
||||||
|
|
||||||
cargoHash = "sha256-cH+cgYIUPQTHgGCZmP562VzCxz+i6LkymHtnHJXnd+A=";
|
cargoHash = "sha256-cH+cgYIUPQTHgGCZmP562VzCxz+i6LkymHtnHJXnd+A=";
|
||||||
|
|||||||
Reference in New Issue
Block a user