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:
ddcal-0.9-alt5
build (NMU) Eugeny A. Rostovtsev (REAL),
26 december 2020, 10:25
Group: Sciences/Mathematics
Summary: CUDD: Colorado University Decision Diagram Package
Changes:
- Added all symbols from libutil.a into libmtr.so
Maintainer:
Vladislav Zavjalov
Group: Sciences/Mathematics
Summary: BDD calculator based on CUDD
Changes:
picosat-965-alt3
build Eugeny A. Rostovtsev (REAL),
12 july 2020, 12:02
Group: Sciences/Mathematics
Summary: BDD calculator based on CUDD
Changes:
- Initial build for Sisyphus
Group: Sciences/Mathematics
Summary: PicoSAT solver
Changes:
yices-2.3.0-alt4
build Eugeny A. Rostovtsev (REAL),
26 march 2021, 11:03
Summary: PicoSAT solver
Changes:
- Initial build for Sisyphus
Group: Sciences/Mathematics
Summary: The Yices SMT Solver
Changes:
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:
0ad-data-0.0.26-alt0_3_alpha
build (NMU) Anton V. Boyarshiniv,
26 september 2022, 18:44
Group: Games/Strategy
Summary: Free, open-source realtime strategy game of ancient warfare
Changes:
- 0.0.18
Maintainer:
Hihin Ruslan
Group: Games/Strategy
Summary: Data for 0ad: free, open-source realtime strategy game of ancient warfare
Changes:
gvfs-1.52.0-alt1
build Yuri N. Sedunov,
15 september 2023, 13:47
Group: Games/Strategy
Summary: Data for 0ad: free, open-source realtime strategy game of ancient warfare
Changes:
- 0.0.18
Group: System/Libraries
Summary: The GNOME virtual filesystem libraries
Changes:
libqmi-glib-1.32.4-alt1
build Mikhail Efremov,
1 march 2023, 15:08
Summary: The GNOME virtual filesystem libraries
Changes:
- 1.22.4
Group: System/Libraries
Summary: QMI modem protocol helper library
Changes:
libtasn1-4.19.0-alt3
build Mikhail Efremov,
23 august 2023, 14:55
Summary: QMI modem protocol helper library
Changes:
- Updated to 1.12.6.
Group: System/Libraries
Summary: The ASN.1 library used in GNUTLS
Changes:
libvirt-9.7.0-alt2
build Alexey Shabalin,
6 september 2023, 15:38
Summary: The ASN.1 library used in GNUTLS
Changes:
- Updated to 4.3.
Group: System/Libraries
Summary: Library providing a simple API virtualization
Changes:
libwebp-1.3.2-alt1
build Yuri N. Sedunov,
14 september 2023, 07:02
Summary: Library providing a simple API virtualization
Changes:
- 1.2.13
Group: System/Libraries
Summary: Library and tools for the WebP graphics format
Changes:
libxfce4ui-4.18.4-alt1
build Mikhail Efremov,
23 may 2023, 09:53
Summary: Library and tools for the WebP graphics format
Changes:
- 0.4.3
Maintainer:
XFCE Team
Group: Graphical desktop/XFce
Summary: Various GTK widgets for Xfce
Changes:
mkimage-profiles-1.5.12-alt1
build (NMU) Michael Shigorin,
28 september 2023, 19:04
Group: Graphical desktop/XFce
Summary: Various GTK widgets for Xfce
Changes:
- Updated to 4.12.1.
Maintainer:
Anton Midyukov (maintainer)
Group: Development/Other
Summary: ALT based distribution metaprofile
Changes:
xfce4-dict-0.8.5-alt1
build Mikhail Efremov,
24 april 2023, 11:11
Group: Development/Other
Summary: ALT based distribution metaprofile
Changes:
- starterkits-20150312
Maintainer:
XFCE Team
Group: Graphical desktop/XFce
Summary: Xfce4 Dictionary - A client program to query different dictionaries
Changes:
xfce4-eyes-plugin-4.6.0-alt1
build Mikhail Efremov,
5 april 2022, 07:12
Group: Graphical desktop/XFce
Summary: Xfce4 Dictionary - A client program to query different dictionaries
Changes:
- Updated to 0.7.1.
Maintainer:
XFCE Team
Group: Graphical desktop/XFce
Summary: Eyes plugin for Xfce Desktop
Changes:
xfce4-session-4.18.3-alt2
build Mikhail Efremov,
31 may 2023, 11:37
Group: Graphical desktop/XFce
Summary: Eyes plugin for Xfce Desktop
Changes:
- Updated to 4.4.4.
Maintainer:
XFCE Team
Group: Graphical desktop/XFce
Summary: Session manager for Xfce desktop environment
Changes:
xfdashboard-1.0.0-alt1
build Mikhail Efremov,
15 august 2022, 14:42
Group: Graphical desktop/XFce
Summary: Session manager for Xfce desktop environment
Changes:
- Updated to 4.12.1.
Maintainer:
XFCE Team
Group: Graphical desktop/XFce
Summary: A Gnome shell like dashboard for Xfce
Changes:
xfwm4-4.18.0-alt1
build Mikhail Efremov,
15 december 2022, 18:17
Group: Graphical desktop/XFce
Summary: A Gnome shell like dashboard for Xfce
Changes:
- Updated to 0.3.9.
Maintainer:
XFCE Team
Group: Graphical desktop/XFce
Summary: Window manager for Xfce
Changes:
Group: Graphical desktop/XFce
Summary: Window manager for Xfce
Changes:
- Updated to 4.12.2.