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