DejaGnu For installation instructions see . &aa-dejagnu-down; &aa-dejagnu-dep;