Rodrigo Arias Mallo ef2631b699 Build paraver with wxGTK32		2023-04-11 20:34:11 +02:00
..
default.nix	Build paraver with wxGTK32	2023-04-11 20:34:11 +02:00
dont-expand-colors.patch	Build wxparaver and paraver-kernel from github	2023-03-02 17:58:53 +01:00
kernel-fast.nix	paraver: enable OpenMP	2021-11-10 15:25:14 +01:00
kernel.nix	Build wxparaver and paraver-kernel from github	2023-03-02 17:58:53 +01:00
mouse-label.patch	Add paraverExtra with some patches	2020-11-30 20:07:59 +01:00
release.nix	Build wxparaver and paraver-kernel from github	2023-03-02 17:58:53 +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