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 9d878eeb4a - Show all commits

View File

@@ -358,6 +358,10 @@ let
oss = merge [ oss ];
};
saiph = with exp.saiph; {
numcomm = merge [ numcomm ];
};
heat = with exp.heat; {
test = merge [ test ];
};