Jussi Kuokkanen bafab52861 seer: patch hardcoded gdb paths ... By default, seer tries to use gdb from /usr/bin/gdb seer changes		2023-08-02 14:23:39 +03:00
..
default.nix	seer: patch hardcoded gdb paths	2023-08-02 14:23:39 +03:00