           SPELL=gnustep-gworkspace
         VERSION=0.8.5
          SOURCE=gworkspace-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/GWorkspace-$VERSION
   SOURCE_URL[0]=http://www.gnustep.it/enrico/gworkspace/$SOURCE
        WEB_SITE=http://www.gnustep.org
     SOURCE_HASH=sha512:9417889dc02364b95665060df7db0304e6264068fee91e26548c69cd08544510a0e0a99b8e4267caed3195bd0c99d3c20e3737ed002a1ea37e785d4b4ca8e4f6
      LICENSE[0]=GPL
         ENTERED=20050908
        KEYWORDS="gnustep"
           SHORT="GNUstep workspace manager."
cat << EOF
"GNUstep workspace manager."
EOF

