wok-6.x diff esterel/receipt @ rev 22311

xterm: modified WGET_URL
author: Hans-G?nter Theisgen
date: Thu Nov 14 10:32:17 2019 +0100 (2019-11-14)
parents: fcdd50638150
children: d8cc3407c851
     1.1 --- a/esterel/receipt	Mon Dec 02 16:43:36 2013 +0000
     1.2 +++ b/esterel/receipt	Thu Nov 14 10:32:17 2019 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  PACKAGE="esterel"
     1.5  VERSION="5.92"
     1.6  CATEGORY="development"
     1.7 -SHORT_DESC="Esterel langauge tools."
     1.8 +SHORT_DESC="Esterel language tools."
     1.9  MAINTAINER="rcx@zoominternet.net"
    1.10  LICENSE="other"
    1.11  TARBALL="$PACKAGE-$VERSION.tgz"