Merge pull request #225948: gnomeExtensions.argos: 20220930 → 20230404

2023-04-13 09:36:28 +02:00
parent 40dc2b6f7a 42ace4e82e
commit bb0c3de2a9
1 changed files with 3 additions and 3 deletions
@@ -2,13 +2,13 @@

 stdenv.mkDerivation rec {
  pname = "argos-unstable";
-  version = "20220930";
+  version = "20230404";

  src = fetchFromGitHub {
    owner = "p-e-w";
    repo = "argos";
-    rev = "f5f6f5bf6ab33dd2d65a490efe8faac5a0c07dc6";
-    hash = "sha256-kI8EpZ68loM5oOS9Dkde+dkldD08mo9VcDqNhecyTOU=";
+    rev = "e2d68ea23eed081fccaec06c384e2c5d2acb5b6b";
+    hash = "sha256-OJ/bUQkBQdlfEIqmneyUeIJoytTxyfibdyUDf3SJc0Q=";
  };

  installPhase = ''