Rodrigo Arias Mallo d18a95f8ed Update paraver to 4.10.6 ... Dropping wxpropgrid. Now it needs to link with openssl.		2023-03-02 12:47:25 +01:00
..
default.nix	Update paraver to 4.10.6	2023-03-02 12:47:25 +01:00
kernel-fast.nix	paraver: enable OpenMP	2021-11-10 15:25:14 +01:00
kernel.nix	Add paraver with some patches for tiling WM	2020-11-18 14:00:19 +01:00
mouse-label.patch	Add paraverExtra with some patches	2020-11-30 20:07:59 +01:00
wxparaver-fast.nix	paraver: add fast version for ordered traces	2021-11-02 16:18:52 +01:00
wxparaver-fast.patch	paraver: add fast version for ordered traces	2021-11-02 16:18:52 +01:00
wxparaver.nix	Add paraver with some patches for tiling WM	2020-11-18 14:00:19 +01:00