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 76ec5d5f16 - Show all commits

View File

@@ -0,0 +1,18 @@
{
stdenv
, branch ? null
, srcPath ? null
}:
#assert if srcPath == null then branch != null else true;
stdenv.mkDerivation rec {
name = "dummy";
src = (if srcPath != null then srcPath else
builtins.fetchGit {
url = "ssh://git@bscpm02.bsc.es/rarias/dummy.git";
ref = "${branch}";
}
);
}