This extension is a package extension which installs gnu dejagnu.
For more information about gnu dejagnu visit the project website at http://www.gnu.org/software/dejagnu/
This extension is a package extension which installs gnu dejagnu.
For more information about gnu dejagnu visit the project website at http://www.gnu.org/software/dejagnu/