diff --git a/default.nix b/default.nix
index b9644a8df53b8c7b71140920c84c4108d25ec6f3..c625c4ac3ff0d4105ba40c096c5344bc081e5ef3 100644
--- a/default.nix
+++ b/default.nix
@@ -25,9 +25,10 @@ let self = rec {
   batmen = kapack.batsched.overrideAttrs (attr: rec {
     name = "batmen";
     version = "refs/tags/replay_feedback2023";
-    src = fetchGit rec {
+    src = fetchgit rec {
       url = "https://gitlab.irit.fr/sepia-pub/mael/batmen.git";
-      ref = version;
+      rev = version;
+      sha256 = "sha256-YRL+cehPDZP5zqZEhFIuf5DpF8rG5UhLs1oDnuM5U5Q=";
     };
   });