<literallayout>Official download location for DejaGnu (&dejagnu-version;): <ulink url="ftp://ftp.gnu.org/gnu/dejagnu/"/></literallayout>
