Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
2 changed files with 3 additions and 1 deletions
Showing only changes of commit bab7a45587 - Show all commits

View File

@@ -17,6 +17,7 @@ stdenv.mkDerivation rec {
src = builtins.fetchGit {
url = "ssh://git@bscpm03.bsc.es/interoperability/GPI-2";
ref = "refs/tags/tagaspi-2021.11";
rev = "9082fe7770fa9f6acba1b1ac938ad209a3d09477";
};
enableParallelBuilding = true;

View File

@@ -39,7 +39,8 @@ stdenv.mkDerivation rec {
src = builtins.fetchGit {
url = "ssh://git@bscpm03.bsc.es/interoperability/tagaspi";
ref = "master";
ref = "refs/tags/2021.11";
rev = "5aabb1849de2e512cc8729f32783051ecd4cab97";
};
hardeningDisable = [ "all" ];