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

View File

@@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
src = builtins.fetchGit {
url = "ssh://git@bscpm03.bsc.es/interoperability/GPI-2";
ref = "lowlevel";
ref = "refs/tags/tagaspi-2021.11";
};
preConfigure = ''