please upload: singular 3.1.3-1 packages

[Christopher Faylor]

On Wed, Apr 13, 2011 at 02:56:01PM +0200, Frank Seelisch wrote:
>On behalf of the SINGULAR developer team, please upload the following
>
>package updates for SINGULAR:
>
>------------------------------------------------------------------------
>wget \
>http://www.singular.uni-kl.de/singular-base-3.1.3-1-src.tar.bz2
>wget \
>http://www.singular.uni-kl.de/singular-base-3.1.3-1.tar.bz2
>wget \
>http://www.singular.uni-kl.de/singular-share-3.1.3-1.tar.bz2
>wget \
>http://www.singular.uni-kl.de/singular-surf-3.1.3-1.tar.bz2
>wget \
>http://www.singular.uni-kl.de/singular-help-3.1.3-1.tar.bz2
>------------------------------------------------------------------------
>
>Please keep the following versions as previous (same order as above):
>
>3.1.2-1
>3.1.2-1
>3.1.2-1
>3.1.2-1
>3.1.2-1

All uploaded but I notice that you didn't update singular-icons.

Was that intentional?