nixtools: pin commit

This commit is contained in:
Rodrigo Arias 2021-03-03 11:53:12 +01:00
parent 4ffb609261
commit 6f2375804d

View File

@ -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)" ];