diff options
Diffstat (limited to 'entities/dejagnu.ent')
| -rw-r--r-- | entities/dejagnu.ent | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/entities/dejagnu.ent b/entities/dejagnu.ent index c85c132d9..563e995d3 100644 --- a/entities/dejagnu.ent +++ b/entities/dejagnu.ent @@ -5,12 +5,12 @@ <!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-version "1.4.4"> <!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-size "1,055 KB"> <!ENTITY dejagnu-compsize-tools "8.6 MB"> <!ENTITY dejagnu-time-tools "0.1 SBU"> |