gdbfrontend v0.11.2 beta releases : easy, flexible and extensionable GUI debugger