diff options
Diffstat (limited to 'entities/dejagnu.ent')
| -rw-r--r-- | entities/dejagnu.ent | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/entities/dejagnu.ent b/entities/dejagnu.ent index 7d2cdaa14..8af0906f0 100644 --- a/entities/dejagnu.ent +++ b/entities/dejagnu.ent @@ -11,8 +11,8 @@ <!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.bz2"> +<!ENTITY dejagnu-package "dejagnu-&dejagnu-version;.tar.gz"> <!ENTITY dejagnu-size "1,775 KB"> -<!ENTITY dejagnu-compsize-static "24 MB"> -<!ENTITY dejagnu-time-static "0.1 SBU"> +<!ENTITY dejagnu-compsize-tools "8.6 MB"> +<!ENTITY dejagnu-time-tools "0.1 SBU"> |