         VERSION=0.0.3
     SOURCE_HASH='sha512:ed6430de36aa6ee72d6d7d5d6ef580426ed27247dece0ad206c16719ea19afb33e4c7d4973d9fd561ff654eb01bb59492b452f045b3cdd3ca7504e3d58a27375'
         UPDATED=20051125
           SPELL=pear-console_color
    PEAR_PACKAGE=Console_Color
        WEB_SITE=http://pear.php.net/package/Console_Color/
      LICENSE[0]=PHP
        KEYWORDS="php"
           SHORT='PEAR: This Class allows you to easily use ANSI console'
cat << EOF
You can use Console_Color::convert to transform
colorcodes like %r into ANSI
control codes. print
Console_Color::convert("%rHello World!%n");
would print
"Hello World" in red, for example.
EOF

source  $SECTION_DIRECTORY/PEAR_DETAILS
