From 6f2375804dcdb2569fb40074937ec15d3fd5948a Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 3 Mar 2021 11:53:12 +0100
Subject: [PATCH] nixtools: pin commit

---
 bsc/nixtools/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bsc/nixtools/default.nix b/bsc/nixtools/default.nix
index 6d364bd..7fb146d 100644
--- a/bsc/nixtools/default.nix
+++ b/bsc/nixtools/default.nix
@@ -9,6 +9,7 @@ stdenv.mkDerivation rec {
   src = builtins.fetchGit {
     url = "ssh://git@bscpm03.bsc.es/rarias/nixtools";
     ref = "master";
+    rev = "a103e392048ace3ed88ce74648b32c9e6ed094da";
   };
   buildInputs = [ glibc.static ];
   makeFlags = [ "DESTDIR=$(out)" ];