Pietro Cerutti 4322879e24 misc/dejagnu: update to 1.6.2		2018-11-29 09:51:46 +00:00
..
distinfo	misc/dejagnu: update to 1.6.2	2018-11-29 09:51:46 +00:00
Makefile	misc/dejagnu: update to 1.6.2	2018-11-29 09:51:46 +00:00
pkg-descr
pkg-plist