From 604aa1fe7458176451ad23a29f96ae5756f73537 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Fri, 28 Apr 2023 10:01:24 +0100
Subject: [PATCH] Widen genode-sources version

---
 packages/genodelabs/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/genodelabs/default.nix b/packages/genodelabs/default.nix
index 87a81c1..2525110 100644
--- a/packages/genodelabs/default.nix
+++ b/packages/genodelabs/default.nix
@@ -36,7 +36,7 @@ let
     in with buildPackages;
     stdenvNoCC.mkDerivation {
       pname = "genode-sources";
-      version = builtins.substring 0 7 upstreamSources.rev;
+      version = builtins.substring 0 12 upstreamSources.rev;
       src = upstreamSources;
       nativeBuildInputs = [ expect gnumake tcl ];
       patches = [ ./patches/sources.patch ];