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 1666c14a35 - Show all commits

View File

@@ -5,16 +5,12 @@
, boost
, libxml2
, xml2
, wxGTK32
, autoconf
, automake
, pkg-config
, zlib
}:
let
wx = wxGTK32;
in
stdenv.mkDerivation rec {
pname = "paraver-kernel";
version = "4.12.0";