<sect2>
<title>Official Download Location</title>
<literallayout>DejaGnu (&dejagnu-version;):
<ulink url="ftp://ftp.gnu.org/gnu/dejagnu/"/></literallayout>
</sect2>