           SPELL=rl
         VERSION=0.2.4
          SOURCE=$SPELL-$VERSION.tar.gz
         SOURCE2=$SOURCE.sig
  SOURCE2_IGNORE=signature
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
   SOURCE_URL[0]=http://ch.tudelft.nl/~arthur/rl/$SOURCE
  SOURCE2_URL[0]=${SOURCE_URL[0]}.sig
      SOURCE_GPG=9F8D08A7.gpg:$SOURCE.sig:UPSTREAM_KEY
        WEB_SITE=http://ch.tudelft.nl/~arthur/rl/
         ENTERED=20050206
      LICENSE[0]=GPL
        KEYWORDS="utils"
           SHORT="Randomize Lines"
cat << EOF
rl is a command-line tool that reads lines from an input file or stdin,
randomizes the lines and outputs a specified number of lines.  It does this
with only a single pass over the input while trying to use as little memory as
possible.
EOF
