Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37046985
en ru br
SRPM transfers

SRPMs transfer on 17 march 2015

New : 4 source rpm : 670.94 Mb
Updated : 14 binary rpm : 0 b
Removed : Total: 670.94 Mb

New SRPMs

cudd-2.5.1-alt3   build (NMU) Eugeny A. Rostovtsev (REAL), 12 august 2018, 07:08

Maintainer: Vladislav Zavjalov
Group: Sciences/Mathematics
Summary: CUDD: Colorado University Decision Diagram Package
Changes:
- Added all symbols from libutil.a into libmtr.so

ddcal-0.9-alt5   build (NMU) Eugeny A. Rostovtsev (REAL), 26 december 2020, 10:25

Maintainer: Vladislav Zavjalov
Group: Sciences/Mathematics
Summary: BDD calculator based on CUDD
Changes:
- Initial build for Sisyphus

picosat-965-alt3   build Eugeny A. Rostovtsev (REAL), 12 july 2020, 12:02

Group: Sciences/Mathematics
Summary: PicoSAT solver
Changes:
- Initial build for Sisyphus

yices-2.3.0-alt4   build Eugeny A. Rostovtsev (REAL), 26 march 2021, 11:03

Group: Sciences/Mathematics
Summary: The Yices SMT Solver
Changes:
- Initial build for Sisyphus

Updated SRPMs

0ad-0.0.26-alt0_4_alpha   build (NMU) Anton V. Boyarshiniv, 8 august 2023, 07:06

Maintainer: Hihin Ruslan
Group: Games/Strategy
Summary: Free, open-source realtime strategy game of ancient warfare
Changes:
- 0.0.18

0ad-data-0.0.26-alt0_3_alpha   build (NMU) Anton V. Boyarshiniv, 26 september 2022, 18:44

Maintainer: Hihin Ruslan
Group: Games/Strategy
Summary: Data for 0ad: free, open-source realtime strategy game of ancient warfare
Changes:
- 0.0.18

gvfs-1.52.0-alt1   build Yuri N. Sedunov, 15 september 2023, 13:47

Group: System/Libraries
Summary: The GNOME virtual filesystem libraries
Changes:
- 1.22.4

libqmi-glib-1.32.4-alt1   build Mikhail Efremov, 1 march 2023, 15:08

Group: System/Libraries
Summary: QMI modem protocol helper library
Changes:
- Updated to 1.12.6.

libtasn1-4.19.0-alt3   build Mikhail Efremov, 23 august 2023, 14:55

Group: System/Libraries
Summary: The ASN.1 library used in GNUTLS
Changes:
- Updated to 4.3.

libvirt-9.7.0-alt2   build Alexey Shabalin, 6 september 2023, 15:38

Group: System/Libraries
Summary: Library providing a simple API virtualization
Changes:
- 1.2.13

libwebp-1.3.2-alt1   build Yuri N. Sedunov, 14 september 2023, 07:02

Group: System/Libraries
Summary: Library and tools for the WebP graphics format
Changes:
- 0.4.3

libxfce4ui-4.18.4-alt1   build Mikhail Efremov, 23 may 2023, 09:53

Maintainer: XFCE Team
Group: Graphical desktop/XFce
Summary: Various GTK widgets for Xfce
Changes:
- Updated to 4.12.1.

mkimage-profiles-1.5.12-alt1   build (NMU) Michael Shigorin, 28 september 2023, 19:04

Maintainer: Anton Midyukov (maintainer)
Group: Development/Other
Summary: ALT based distribution metaprofile
Changes:
- starterkits-20150312

xfce4-dict-0.8.5-alt1   build Mikhail Efremov, 24 april 2023, 11:11

Maintainer: XFCE Team
Group: Graphical desktop/XFce
Summary: Xfce4 Dictionary - A client program to query different dictionaries
Changes:
- Updated to 0.7.1.

xfce4-eyes-plugin-4.6.0-alt1   build Mikhail Efremov, 5 april 2022, 07:12

Maintainer: XFCE Team
Group: Graphical desktop/XFce
Summary: Eyes plugin for Xfce Desktop
Changes:
- Updated to 4.4.4.

xfce4-session-4.18.3-alt2   build Mikhail Efremov, 31 may 2023, 11:37

Maintainer: XFCE Team
Group: Graphical desktop/XFce
Summary: Session manager for Xfce desktop environment
Changes:
- Updated to 4.12.1.

xfdashboard-1.0.0-alt1   build Mikhail Efremov, 15 august 2022, 14:42

Maintainer: XFCE Team
Group: Graphical desktop/XFce
Summary: A Gnome shell like dashboard for Xfce
Changes:
- Updated to 0.3.9.

xfwm4-4.18.0-alt1   build Mikhail Efremov, 15 december 2022, 18:17

Maintainer: XFCE Team
Group: Graphical desktop/XFce
Summary: Window manager for Xfce
Changes:
- Updated to 4.12.2.
 
design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
current maintainer: Michael Shigorin