pkg/dejagnu.git - "dejagnu" package

	Commit message (Collapse)	Author	Age	Files	Lines
*	control: Update Maintainer	Patrick McDermott	2019-04-30	1	-1/+1
\|
*	source.mk, keyring.gpg: Update to upstream's new (expired) key	Patrick McDermott	2019-04-30	2	-1/+2
\|
*	changelog: New upstream version	Patrick McDermott	2019-04-30	1	-0/+6
\|
*	changelog: Release dejagnu 1.5.1-1.	P. J. McDermott	2014-03-10	1	-1/+1
\|
*	Update my e-mail address.	P. J. McDermott	2014-03-10	2	-2/+2
\|
*	build: Run tests.	P. J. McDermott	2013-09-21	1	-0/+1
\|
*	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