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 ee5cbd08dd - Show all commits

View File

@@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
src = builtins.fetchGit {
url = "ssh://git@bscpm03.bsc.es/ovni/sonar";
ref = "main";
rev = "1ab3d99d57e1da785bc1addac620b3358c8bbb16";
rev = "1299731b56addc18f530f7327f62267624c4363a";
};
hardeningDisable = [ "all" ];
dontStrip = true;