path: root/appendixa/dejagnu-down.xml

<sect2>
<title>Official Download Location</title>

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