Title:		gdb-dev.tcz
Description:	gdb - The GNU Debugger Project - dev files
Version:	7.2
Author:		Various
Original-site:	http://www.gnu.org/software/gdb/
Copying-policy:	GPL (see /usr/local/share/doc/License/gdb-dev-copying.txt)
Size:		552K
Extension_by:	^thehatsrule^, gutmensch
Tags:		gdb GNU Debugger Project dev
Comments:	Contains binaries gdb, gdbserver, gdbtui.
	   	--- 
		This extension is PPI compatible.
Change-log:	2008/11/19	Original version 6.8
Current:	2010/12/09	Update to 7.2