SRPM transferencia
SRPMs transfer on 17 março 2015
New | : | 4 | fonte rpm | : | 670.94 Mb |
Atualizado | : | 14 | binária rpm | : | 0 b |
Removido | : | Total | : | 670.94 Mb |
Novos SRPMs
cudd-2.5.1-alt3
build (NMU) Eugeny A. Rostovtsev (REAL),
12 agosto 2018, 07:08
Maintainer:
Vladislav Zavjalov
Grupo: Ciências/Matemática
Sumário: CUDD: Colorado University Decision Diagram Package
Mudanças:
ddcal-0.9-alt5
build (NMU) Eugeny A. Rostovtsev (REAL),
26 dezembro 2020, 10:25
Grupo: Ciências/Matemática
Sumário: CUDD: Colorado University Decision Diagram Package
Mudanças:
- Added all symbols from libutil.a into libmtr.so
Maintainer:
Vladislav Zavjalov
Grupo: Ciências/Matemática
Sumário: BDD calculator based on CUDD
Mudanças:
picosat-965-alt3
build Eugeny A. Rostovtsev (REAL),
12 julho 2020, 12:02
Grupo: Ciências/Matemática
Sumário: BDD calculator based on CUDD
Mudanças:
- Initial build for Sisyphus
Grupo: Ciências/Matemática
Sumário: PicoSAT solver
Mudanças:
yices-2.3.0-alt4
build Eugeny A. Rostovtsev (REAL),
26 março 2021, 11:03
Sumário: PicoSAT solver
Mudanças:
- Initial build for Sisyphus
Grupo: Ciências/Matemática
Sumário: The Yices SMT Solver
Mudanças:
Sumário: The Yices SMT Solver
Mudanças:
- Initial build for Sisyphus
Atualizado SRPMs
0ad-0.0.26-alt0_4_alpha
build (NMU) Anton V. Boyarshiniv,
8 agosto 2023, 07:06
Maintainer:
Hihin Ruslan
Grupo: Jogos/Estratégia
Sumário: Free, open-source realtime strategy game of ancient warfare
Mudanças:
0ad-data-0.0.26-alt0_3_alpha
build (NMU) Anton V. Boyarshiniv,
26 setembro 2022, 18:44
Grupo: Jogos/Estratégia
Sumário: Free, open-source realtime strategy game of ancient warfare
Mudanças:
- 0.0.18
Maintainer:
Hihin Ruslan
Grupo: Jogos/Estratégia
Sumário: Data for 0ad: free, open-source realtime strategy game of ancient warfare
Mudanças:
gvfs-1.52.0-alt1
build Yuri N. Sedunov,
15 setembro 2023, 13:47
Grupo: Jogos/Estratégia
Sumário: Data for 0ad: free, open-source realtime strategy game of ancient warfare
Mudanças:
- 0.0.18
Grupo: Sistema/Bibliotecas
Sumário: The GNOME virtual filesystem libraries
Mudanças:
libqmi-glib-1.32.4-alt1
build Mikhail Efremov,
1 março 2023, 15:08
Sumário: The GNOME virtual filesystem libraries
Mudanças:
- 1.22.4
Grupo: Sistema/Bibliotecas
Sumário: QMI modem protocol helper library
Mudanças:
libtasn1-4.19.0-alt3
build Mikhail Efremov,
23 agosto 2023, 14:55
Sumário: QMI modem protocol helper library
Mudanças:
- Updated to 1.12.6.
Grupo: Sistema/Bibliotecas
Sumário: The ASN.1 library used in GNUTLS
Mudanças:
libvirt-9.7.0-alt2
build Alexey Shabalin,
6 setembro 2023, 15:38
Sumário: The ASN.1 library used in GNUTLS
Mudanças:
- Updated to 4.3.
Grupo: Sistema/Bibliotecas
Sumário: Library providing a simple API virtualization
Mudanças:
libwebp-1.3.2-alt1
build Yuri N. Sedunov,
14 setembro 2023, 07:02
Sumário: Library providing a simple API virtualization
Mudanças:
- 1.2.13
Grupo: Sistema/Bibliotecas
Sumário: Library and tools for the WebP graphics format
Mudanças:
libxfce4ui-4.18.4-alt1
build Mikhail Efremov,
23 maio 2023, 09:53
Sumário: Library and tools for the WebP graphics format
Mudanças:
- 0.4.3
Maintainer:
XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Various GTK widgets for Xfce
Mudanças:
mkimage-profiles-1.5.12-alt1
build (NMU) Michael Shigorin,
28 setembro 2023, 19:04
Grupo: Desktop gráfico/XFce
Sumário: Various GTK widgets for Xfce
Mudanças:
- Updated to 4.12.1.
Maintainer:
Anton Midyukov (maintainer)
Grupo: Desenvolvimento/Outros
Sumário: ALT based distribution metaprofile
Mudanças:
xfce4-dict-0.8.5-alt1
build Mikhail Efremov,
24 abril 2023, 11:11
Grupo: Desenvolvimento/Outros
Sumário: ALT based distribution metaprofile
Mudanças:
- starterkits-20150312
Maintainer:
XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Xfce4 Dictionary - A client program to query different dictionaries
Mudanças:
xfce4-eyes-plugin-4.6.0-alt1
build Mikhail Efremov,
5 abril 2022, 07:12
Grupo: Desktop gráfico/XFce
Sumário: Xfce4 Dictionary - A client program to query different dictionaries
Mudanças:
- Updated to 0.7.1.
Maintainer:
XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Eyes plugin for Xfce Desktop
Mudanças:
xfce4-session-4.18.3-alt2
build Mikhail Efremov,
31 maio 2023, 11:37
Grupo: Desktop gráfico/XFce
Sumário: Eyes plugin for Xfce Desktop
Mudanças:
- Updated to 4.4.4.
Maintainer:
XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Session manager for Xfce desktop environment
Mudanças:
xfdashboard-1.0.0-alt1
build Mikhail Efremov,
15 agosto 2022, 14:42
Grupo: Desktop gráfico/XFce
Sumário: Session manager for Xfce desktop environment
Mudanças:
- Updated to 4.12.1.
Maintainer:
XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: A Gnome shell like dashboard for Xfce
Mudanças:
xfwm4-4.18.0-alt1
build Mikhail Efremov,
15 dezembro 2022, 18:17
Grupo: Desktop gráfico/XFce
Sumário: A Gnome shell like dashboard for Xfce
Mudanças:
- Updated to 0.3.9.
Maintainer:
XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Window manager for Xfce
Mudanças:
Grupo: Desktop gráfico/XFce
Sumário: Window manager for Xfce
Mudanças:
- Updated to 4.12.2.