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 3 deletions
Showing only changes of commit 9aaea0da0e - Show all commits

View File

@@ -17,11 +17,11 @@ let
in
stdenv.mkDerivation rec {
pname = "wxparaver";
version = "4.10.6";
version = "4.11.2";
src = builtins.fetchGit {
url = "https://github.com/bsc-performance-tools/wxparaver.git";
rev = "fe55c724ab59a5b0e60718919297bdf95582badb"; # v4.10.6 (missing tag)
rev = "129e6b4a4f061e5a319049db8db1620f5de3bd70"; # v4.11.2 (missing tag)
ref = "master";
};

View File

@@ -19,7 +19,7 @@ stdenv.mkDerivation rec {
src = builtins.fetchGit {
url = "https://github.com/bsc-performance-tools/paraver-kernel.git";
rev = "3f89ec68da8e53ee227c57a2024bf789fa68ba98"; # master (missing tag)
rev = "2e167da3cee78ca11e31b74faefb23f12bac2b8c"; # master (missing tag)
ref = "master";
};