ALT Linux Sisyphus

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

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:

- Added all symbols from libutil.a into libmtr.so

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

Maintainer: Vladislav Zavjalov
Grupo: Ciências/Matemática
Sumário: BDD calculator based on CUDD
Mudanças:

- Initial build for Sisyphus

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

Grupo: Ciências/Matemática
Sumário: PicoSAT solver
Mudanças:

- Initial build for Sisyphus

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

Grupo: Ciências/Matemática
Sumário: The Yices SMT Solver
Mudanças:

- Initial build for Sisyphus

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:

- 0.0.18

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

Maintainer: Hihin Ruslan
Grupo: Jogos/Estratégia
Sumário: Data for 0ad: free, open-source realtime strategy game of ancient warfare
Mudanças:

- 0.0.18

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

Grupo: Sistema/Bibliotecas
Sumário: The GNOME virtual filesystem libraries
Mudanças:

- 1.22.4

libqmi-glib-1.32.4-alt1 build Mikhail Efremov, 1 março 2023, 15:08

Grupo: Sistema/Bibliotecas
Sumário: QMI modem protocol helper library
Mudanças:

- Updated to 1.12.6.

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

Grupo: Sistema/Bibliotecas
Sumário: The ASN.1 library used in GNUTLS
Mudanças:

- Updated to 4.3.

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

Grupo: Sistema/Bibliotecas
Sumário: Library providing a simple API virtualization
Mudanças:

- 1.2.13

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

Grupo: Sistema/Bibliotecas
Sumário: Library and tools for the WebP graphics format
Mudanças:

- 0.4.3

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

Maintainer: XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Various GTK widgets for Xfce
Mudanças:

- Updated to 4.12.1.

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

Maintainer: Anton Midyukov (maintainer)
Grupo: Desenvolvimento/Outros
Sumário: ALT based distribution metaprofile
Mudanças:

- starterkits-20150312

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

Maintainer: XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Xfce4 Dictionary - A client program to query different dictionaries
Mudanças:

- Updated to 0.7.1.

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

Maintainer: XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Eyes plugin for Xfce Desktop
Mudanças:

- Updated to 4.4.4.

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

Maintainer: XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Session manager for Xfce desktop environment
Mudanças:

- Updated to 4.12.1.

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

Maintainer: XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: A Gnome shell like dashboard for Xfce
Mudanças:

- Updated to 0.3.9.

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

Maintainer: XFCE Team
Grupo: Desktop gráfico/XFce
Sumário: Window manager for Xfce
Mudanças:

- Updated to 4.12.2.