From: QA Team Robot <qa@altlinux.org> To: sisyphus-cybertalk@lists.altlinux.org Subject: [cyber] I: Sisyphus-20150317 packages: +8! +21 (17589) Date: Tue, 17 Mar 2015 04:43:37 +0000 Message-ID: <20150317044337.GA13425@gitery.altlinux.org> (raw) 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.
reply other threads:[~2015-03-17 4:43 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20150317044337.GA13425@gitery.altlinux.org \ --to=qa@altlinux.org \ --cc=devel@lists.altlinux.org \ --cc=sisyphus-cybertalk@lists.altlinux.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
ALT Linux Sisyphus cybertalk This inbox may be cloned and mirrored by anyone: git clone --mirror http://lore.altlinux.org/sisyphus-cybertalk/0 sisyphus-cybertalk/git/0.git # If you have public-inbox 1.1+ installed, you may # initialize and index your mirror using the following commands: public-inbox-init -V2 sisyphus-cybertalk sisyphus-cybertalk/ http://lore.altlinux.org/sisyphus-cybertalk \ sisyphus-cybertalk@lists.altlinux.org sisyphus-cybertalk@lists.altlinux.ru sisyphus-cybertalk@lists.altlinux.com public-inbox-index sisyphus-cybertalk Example config snippet for mirrors. Newsgroup available over NNTP: nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-cybertalk AGPL code for this site: git clone https://public-inbox.org/public-inbox.git