<!ENTITY c5-dejagnu SYSTEM "../chapter05/dejagnu.xml">

<!ENTITY aa-dejagnu SYSTEM "../appendixa/dejagnu.xml">
<!ENTITY aa-dejagnu-shortdesc SYSTEM "../appendixa/dejagnu-shortdesc.xml">
<!ENTITY aa-dejagnu-desc SYSTEM "../appendixa/dejagnu-desc.xml">
<!ENTITY aa-dejagnu-dep SYSTEM "../appendixa/dejagnu-dep.xml">
<!ENTITY aa-dejagnu-down SYSTEM "../appendixa/dejagnu-down.xml">

<!ENTITY dejagnu-version "1.4.3">
<!ENTITY dejagnu-depversion "1.4.3">
<!ENTITY dejagnu-contversion "1.4.3">
<!ENTITY dejagnu-dir "dejagnu-&dejagnu-version;">
<!ENTITY dejagnu-package "dejagnu-&dejagnu-version;.tar.gz">
<!ENTITY dejagnu-size "1,775 KB">

<!ENTITY dejagnu-compsize-tools "8.6 MB">
<!ENTITY dejagnu-time-tools "0.1 SBU">
