[cyber] I: Sisyphus-20150317 packages: +8! +21 (17589)

[cyber] I: Sisyphus-20150317 packages: +8! +21 (17589)

[QA Team Robot]

	8 ADDED packages

cudd - CUDD: Colorado University Decision Diagram Package
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 2.5.1-alt2
- Added all symbols from libutil.a into libmtr.so
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 2.5.1-alt1
- Initial build for Sisyphus

cvc4 - Automatic theorem prover for satisfiability modulo theories (SMT) problems
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 1.4-alt1
- Initial build for Sisyphus

ddcal - BDD calculator based on CUDD
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 0.9-alt1
- Initial build for Sisyphus

libical-glib - An iCalendar library based on libical
* Mon Mar 16 2015 Yuri N. Sedunov <aris@altlinux> 1.0.1-alt1
- 1.0.1
* Mon Jan 19 2015 Yuri N. Sedunov <aris@altlinux> 1.0.0-alt1
- first build for Sisyphus

python-module-ctypesgen - Python wrapper generator for ctypes
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 0.0.r151-alt1.git20130821
- Initial build for Sisyphus

python-module-pycudd - Enhanced Python interface to the Colorado University BDD package, CUDD
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 2.0.2-alt1
- Initial build for Sisyphus

python-module-pyices - Python bindings for Yices SMT solver
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 0.2-alt1.git20140507
- Initial build for Sisyphus

yices - The Yices SMT Solver
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 2.3.0-alt1
- Initial build for Sisyphus

	21 UPDATED packages

0ad - Free, open-source realtime strategy game of ancient warfare	[26M]
* Sat Mar 14 2015 Anton V. Boyarshinov <boyarsh@altlinux> 1:0.0.18.alpha-alt1
- 0.0.18
* Sat Jan 03 2015 Ivan A. Melnikov <iv@altlinux> 1:0.0.17.alpha-alt1.1

0ad-data - Data for 0ad: free, open-source realtime strategy game of ancient warfare	[594M]
* Sat Mar 14 2015 Anton V. Boyarshinov <boyarsh@altlinux> 1:0.0.18.alpha-alt1
- 0.0.18
* Wed Oct 15 2014 Anton V. Boyarshinov <boyarsh@altlinux> 1:0.0.17.alpha-alt1

gvfs - The GNOME virtual filesystem libraries
* Mon Mar 16 2015 Yuri N. Sedunov <aris@altlinux> 1.22.4-alt1
- 1.22.4
* Mon Feb 23 2015 Yuri N. Sedunov <aris@altlinux> 1.22.3-alt3

libqmi-glib - QMI modem protocol helper library
* Mon Mar 16 2015 Mikhail Efremov <sem@altlinux> 1.12.6-alt1
- Updated to 1.12.6.
* Fri Feb 13 2015 Mikhail Efremov <sem@altlinux> 1.12.4-alt1

libtasn1 - The ASN.1 library used in GNUTLS
* Wed Mar 11 2015 Mikhail Efremov <sem@altlinux> 4.3-alt1
- Updated to 4.3.
* Thu Oct 30 2014 Mikhail Efremov <sem@altlinux> 4.2-alt1

libvirt - Library providing a simple API virtualization
* Mon Mar 16 2015 Alexey Shabalin <shaba@altlinux> 1.2.13-alt1
- 1.2.13
* Wed Feb 11 2015 Alexey Shabalin <shaba@altlinux> 1.2.12-alt1

libwebp - Library and tools for the WebP graphics format
* Mon Mar 16 2015 Yuri N. Sedunov <aris@altlinux> 0.4.3-alt1
- 0.4.3
* Thu Nov 13 2014 Yuri N. Sedunov <aris@altlinux> 0.4.2-alt1

libxfce4ui - Various GTK+2 widgets for Xfce
* Mon Mar 16 2015 Mikhail Efremov <sem@altlinux> 4.12.1-alt1
- Updated to 4.12.1.
* Thu Mar 12 2015 Mikhail Efremov <sem@altlinux> 4.12.0-alt2

mkimage-profiles - ALT Linux based distribution metaprofile
* Mon Mar 16 2015 Michael Shigorin <mike@altlinux> 1.1.62-alt1
- starterkits-20150312
* Mon Mar 09 2015 Michael Shigorin <mike@altlinux> 1.1.61-alt1

moodle2.5-lang-fr - Moodle French localization
* Mon Mar 16 2015 Cronbuild Service <cronbuild@altlinux> 2.5.0.201503131705-alt1
- repocop cronbuild 20150316. At your service.
- fr.zip build 2015-03-13 17:05 UTC
* Mon Mar 09 2015 Cronbuild Service <cronbuild@altlinux> 2.5.0.201503051225-alt1

moodle2.5-lang-pt - Moodle Portuguese localization
* Mon Mar 16 2015 Cronbuild Service <cronbuild@altlinux> 2.5.0.201503121120-alt1
- repocop cronbuild 20150316. At your service.
- pt.zip build 2015-03-12 11:20 UTC
* Mon Feb 16 2015 Cronbuild Service <cronbuild@altlinux> 2.5.0.201502121916-alt1

python-module-libvirt - Python bindings for the libvirt library
* Mon Mar 16 2015 Alexey Shabalin <shaba@altlinux> 1.2.13-alt1
- 1.2.13
* Fri Jul 04 2014 Alexey Shabalin <shaba@altlinux> 1.2.6-alt1

python-module-objects.inv - Resource for build documentarion by Sphinx
* Mon Mar 16 2015 Cronbuild Service <cronbuild@altlinux> 2.3.5.20150316-alt1
- repocop cronbuild 20150316. At your service.
* Sun Mar 15 2015 Cronbuild Service <cronbuild@altlinux> 2.3.5.20150315-alt1

python-module-setuptools - Python Distutils Enhancements
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 1:14.3-alt1
- Version 14.3
* Sun Mar 15 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 1:14.2-alt1

qt4-fsarchiver - GUI for Filesystem Archiver for Linux
* Mon Mar 16 2015 Hihin Ruslan <ruslandh@altlinux> 0.6.19-alt1.12
- new version
* Sat Feb 21 2015 Hihin Ruslan <ruslandh@altlinux> 0.6.19-alt1.2

xfce4-dict - Xfce4 Dictionary - A client program to query different dictionaries
* Mon Mar 16 2015 Mikhail Efremov <sem@altlinux> 0.7.1-alt1
- Updated to 0.7.1.
* Sat Mar 07 2015 Mikhail Efremov <sem@altlinux> 0.7.0-alt2

xfce4-eyes-plugin - Eyes plugin for Xfce Desktop
* Mon Mar 16 2015 Mikhail Efremov <sem@altlinux> 4.4.4-alt1
- Updated to 4.4.4.
* Sat Mar 07 2015 Mikhail Efremov <sem@altlinux> 4.4.3-alt2

xfce4-session - Session manager for Xfce desktop environment
* Mon Mar 16 2015 Mikhail Efremov <sem@altlinux> 4.12.1-alt1
- Updated to 4.12.1.
* Fri Mar 13 2015 Mikhail Efremov <sem@altlinux> 4.12.0-alt2

xfdashboard - A Gnome shell like dashboard for Xfce
* Mon Mar 16 2015 Mikhail Efremov <sem@altlinux> 0.3.9-alt1
- Updated to 0.3.9.
* Mon Oct 20 2014 Mikhail Efremov <sem@altlinux> 0.3.3-alt1

xfwm4 - Window manager for Xfce
* Mon Mar 16 2015 Mikhail Efremov <sem@altlinux> 4.12.2-alt1
- Updated to 4.12.2.
* Sun Mar 15 2015 Mikhail Efremov <sem@altlinux> 4.12.1-alt1

xpdf - Portable Document Format (PDF) suite
* Mon Mar 16 2015 Eugeny A. Rostovtsev (REAL) <real@altlinux> 3.03-alt1.1
- Disabled -Wtrampolines flag
* Sun Aug 28 2011 Victor Forsiuk <force@altlinux> 3.03-alt1

Total 17589 source packages.