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 72e7a8dab7 - Show all commits

View File

@@ -10,7 +10,7 @@ mkShell {
# Packages from garlic
(with garlic; [ tool garlicd ]) ++
# Packages from bsc
[ groff paraver icc nix openssh git cn6 nix-diff ];
[ groff paraver icc nix openssh git cn6 nix-diff clangOmpss2 gdb ];
# inputsFrom to get build dependencies