Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 9a7e59a076 - Show all commits

View File

@@ -26,6 +26,7 @@ stdenv.mkDerivation rec {
src = builtins.fetchGit {
url = "ssh://git@bscpm02.bsc.es/nanos6/nanos6";
ref = branch;
rev = "bd306f903c7a4396f579402666082f5a7c34570b";
};
prePatch = ''