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