From 080c5040516b9a6591b389d2d1890868f4417064 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 11 Mar 2022 18:15:37 +0100
Subject: [PATCH] [nix] fix alt-ergo version ref
---
nix/alt-ergo.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/alt-ergo.nix b/nix/alt-ergo.nix
index 3b3965b10d1..5dd4049507f 100644
--- a/nix/alt-ergo.nix
+++ b/nix/alt-ergo.nix
@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
src = fetchFromGitHub {
owner = "OCamlPro";
repo = pname;
- rev = version;
+ rev = "refs/tags/"+version;
sha256 = "11ffm87vsrii8nyhxhbc9gzjmqkspqv7hpjq7ll9xflll7gpnpkj";
};
--
GitLab