Pietro Cerutti f42f531d50 misc/dejagnu: update to 1.6 ... Announcement: https://lists.gnu.org/archive/html/info-gnu/2016-04/msg00007.html		2016-04-17 10:11:59 +00:00
..
distinfo	misc/dejagnu: update to 1.6	2016-04-17 10:11:59 +00:00
Makefile	misc/dejagnu: update to 1.6	2016-04-17 10:11:59 +00:00
pkg-descr
pkg-plist	misc/dejagnu: update to 1.6	2016-04-17 10:11:59 +00:00