From 3cc827eb1cb79ac3073d5832953ccd8921bf0d36 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ma=C3=ABl=20Madon?= <mael.madon@irit.fr>
Date: Fri, 21 Jul 2023 08:10:16 +0200
Subject: [PATCH] use latest version of batmen (with corrected easy_bf_fast)
---
default.nix | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/default.nix b/default.nix
index b9644a8..c625c4a 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=";
};
});
--
GitLab