pkg/dejagnu.git - "dejagnu" package

	Commit message (Expand)	Author	Age	Files	Lines
*	copyright: New file.	P. J. McDermott	2013-09-21	1	-0/+35

*	build: Remove GNU Info index.	P. J. McDermott	2013-09-21	1	-0/+1

*	dejagnu: Add source package documentation.	P. J. McDermott	2013-09-21	1	-0/+5

*	Add binary packages.	P. J. McDermott	2013-09-21	5	-0/+26

*	Update keyring.	P. J. McDermott	2013-09-21	2	-1/+1

*	changelog: New upstream version.	P. J. McDermott	2013-09-21	1	-1/+1

*	Initial commit.	P. J. McDermott	2013-09-21	7	-0/+59