Unverified Commit b30dd5b5 authored by nixpkgs-merge-bot[bot]'s avatar nixpkgs-merge-bot[bot] Committed by GitHub
Browse files

polarity: latest-unstable-2025-05-14 -> latest-unstable-2025-05-19 (#411643)

parents ca44a318 20b87a2b
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
@@ -7,13 +7,13 @@

rustPlatform.buildRustPackage rec {
  pname = "polarity";
  version = "latest-unstable-2025-05-14";
  version = "latest-unstable-2025-05-19";

  src = fetchFromGitHub {
    owner = "polarity-lang";
    repo = "polarity";
    rev = "6c0370011b827886e87b7afec644788a1a54f6f7";
    hash = "sha256-RKuL0gn734eqNQHIsSA0kLF1qUNtyEUpYf8Zv359GAs=";
    rev = "b715e6529210242d79f304d34170eba8473174b2";
    hash = "sha256-/yq6fqjkZoEw4MhsOWlRdQciA/Wqds9TgCczcVQV8Rw=";
  };

  useFetchCargoVendor = true;