yices

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Tracked by Koschei
True
Current priority
1497
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

glibc
2.40.9000-23.fc42
2.40.9000-24.fc42
2
glibc-devel
2.40.9000-23.fc42
2.40.9000-24.fc42
2
kernel-headers
6.13.0-0.rc1.e70140b...
6.13.0-0.rc3.29.fc42
3
libxcrypt
4.4.36-11.fc42
4.4.36-12.fc42
3
glibc-common
2.40.9000-23.fc42
2.40.9000-24.fc42
3
glibc-minimal-langpack
2.40.9000-23.fc42
2.40.9000-24.fc42
3
glibc-gconv-extra
2.40.9000-23.fc42
2.40.9000-24.fc42
3
alternatives
1.30-1.fc41
1.31-1.fc42
3
libxcrypt-devel
4.4.36-11.fc42
4.4.36-12.fc42
3
libselinux
3.8-0.rc1.2.fc42
3.8-0.rc3.1.fc42
3
libsepol
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
4
systemd-libs
257-1.fc42
257.1-1.fc42
4
perl-Business-ISBN-Data
20241206.001-1.fc42
20241220.001-1.fc42
B
libsemanage
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
B
dbus-libs
1:1.14.10-4.fc41
1:1.16.0-1.fc42
B
libXau
1.0.11-7.fc41
1.0.12-1.fc42
B
libICE
1.1.1-4.fc41
1.1.2-1.fc42
B
libSM
1.2.4-4.fc41
1.2.5-1.fc42
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
126896765
2024-12-15 22:19:12
aarch64
├126896870 ( build.log | root.log )
ppc64le
├126896871 ( build.log | root.log )
x86_64
└126896872 ( build.log | root.log )
latexmk
4.85-2.fc41
4.86-1.fc42
1
glibc-devel
2.40.9000-21.fc42
2.40.9000-23.fc42
2
glibc
2.40.9000-21.fc42
2.40.9000-23.fc42
2
python3
3.13.0-1.fc42
3.13.1-2.fc42
2
glibc-gconv-extra
2.40.9000-21.fc42
2.40.9000-23.fc42
3
perl-parent
1:0.243-1.fc42
1:0.244-1.fc42
3
glibc-minimal-langpack
2.40.9000-21.fc42
2.40.9000-23.fc42
3
python3-libs
3.13.0-1.fc42
3.13.1-2.fc42
3
glibc-common
2.40.9000-21.fc42
2.40.9000-23.fc42
3
libcurl
8.10.1-2.fc42
8.11.1-2.fc42
4
systemd-libs
257~rc3-1.fc42
257-1.fc42
4
tzdata
2024a-9.fc41
2024b-1.fc42
4
glib2
2.83.0-2.fc42
2.83.0-3.fc42
4
sqlite-libs
3.47.1-1.fc42
3.47.2-1.fc42
4
curl
8.10.1-2.fc42
8.11.1-2.fc42
B
libeconf
0.7.4-3.fc42
0.7.5-1.fc42
B
zip
3.0-41.fc41
3.0-42.fc42
B
annobin-docs
12.77-1.fc42
12.79-1.fc42
B
annobin-plugin-gcc
12.77-1.fc42
12.79-1.fc42
B
qt6-srpm-macros
6.8.1-3.fc42
6.8.1-4.fc42
B
shadow-utils
2:4.16.0-7.fc42
2:4.17.0~rc1-1.fc42
B
gdb-minimal
15.2-3.fc42
15.2-4.fc42
B
complete
126635276
2024-12-09 07:09:10
aarch64
├126635442 ( build.log | root.log )
ppc64le
├126635443 ( build.log | root.log )
x86_64
└126635444 ( build.log | root.log )
cmake-filesystem
3.31.1-1.fc42
3.31.2-1.fc42
2
texlive-lwarp
11:svn66259-86.fc42
11:svn66259-87.fc42
2
texlive-latex
11:svn65161-86.fc42
11:svn65161-87.fc42
2
texlive-base
11:20230311-86.fc42
11:20230311-87.fc42
2
texlive-thumbpdf
11:svn62518-86.fc42
11:svn62518-87.fc42
2
texlive-attachfile2
11:svn57959-86.fc42
11:svn57959-87.fc42
2
texlive-luatex
11:svn66967-86.fc42
11:svn66967-87.fc42
3
texlive-luaotfload
11:svn64616-86.fc42
11:svn64616-87.fc42
3
texlive-mptopdf
11:svn65952-86.fc42
11:svn65952-87.fc42
3
texlive-pdftex
11:svn66243-86.fc42
11:svn66243-87.fc42
3
texlive-kpathsea
11:svn66209-86.fc42
11:svn66209-87.fc42
3
texlive-oberdiek
11:svn65521-86.fc42
11:svn65521-87.fc42
3
texlive-texlive.infra
11:svn66512-86.fc42
11:svn66512-87.fc42
4
texlive-glyphlist
11:svn54074-86.fc42
11:svn54074-87.fc42
4
cups-libs
1:2.4.11-7.fc42
1:2.4.11-8.fc42
4
texlive-xdvi
11:svn62387-86.fc42
11:svn62387-87.fc42
4
texlive-luahbtex
11:svn66186-86.fc42
11:svn66186-87.fc42
4
texlive-epstopdf
11:svn66461-86.fc42
11:svn66461-87.fc42
4
texlive-dvips
11:svn66203-86.fc42
11:svn66203-87.fc42
4
texlive-metafont
11:svn66186-86.fc42
11:svn66186-87.fc42
4
texlive-lib
11:20230311-86.fc42
11:20230311-87.fc42
4
texlive-makeindex
11:svn62517-86.fc42
11:svn62517-87.fc42
4
texlive-bibtex
11:svn66186-86.fc42
11:svn66186-87.fc42
4
texlive-texlive-scripts
11:svn66584-86.fc42
11:svn66584-87.fc42
4
texlive-texlive-en
11:svn66572-86.fc42
11:svn66572-87.fc42
4
texlive-tex
11:svn66186-86.fc42
11:svn66186-87.fc42
4
texlive-mfware
11:svn66186-86.fc42
11:svn66186-87.fc42
4
texlive-dvipdfmx
11:svn66203-86.fc42
11:svn66203-87.fc42
4
libicu
76.1-1.fc42
B
rpm-sequoia
1.7.0-2.fc41
1.7.0-3.fc42
B
harfbuzz
10.1.0-1.fc42
10.1.0-2.fc42
B
cups-filesystem
1:2.4.11-7.fc42
1:2.4.11-8.fc42
B
qt6-srpm-macros
6.8.0-1.fc42
6.8.1-3.fc42
B
texlive-gsftopk
11:svn52851-86.fc42
11:svn52851-87.fc42
B
texlive-xetex
11:svn66203-86.fc42
11:svn66203-87.fc42
B
perl-Business-ISBN-Data
20241205.001-1.fc42
20241206.001-1.fc42
B
libicu74
74.2-1.fc42
complete
126560956
2024-12-06 02:05:07
aarch64
├126561058 ( build.log | root.log )
ppc64le
├126561059 ( build.log | root.log )
x86_64
└126561057 ( build.log | root.log )
libtool
2.4.7-12.fc41
2.5.4-1.fc42
1
glibc-devel
2.40.9000-20.fc42
2.40.9000-21.fc42
2
glibc
2.40.9000-20.fc42
2.40.9000-21.fc42
2
automake
1.16.5-17.fc41
1.17-1.fc42
2
cmake-filesystem
3.30.5-1.fc42
3.31.1-1.fc42
2
perl-parent
1:0.242-1.fc42
1:0.243-1.fc42
3
glibc-common
2.40.9000-20.fc42
2.40.9000-21.fc42
3
kernel-headers
6.12.0-65.fc42
6.13.0-0.rc1.e70140b...
3
glibc-gconv-extra
2.40.9000-20.fc42
2.40.9000-21.fc42
3
libselinux
3.7-7.fc42
3.8-0.rc1.2.fc42
3
elfutils-debuginfod-client
0.192-6.fc42
0.192-7.fc42
3
glibc-minimal-langpack
2.40.9000-20.fc42
2.40.9000-21.fc42
3
ca-certificates
2024.2.69_v8.0.401-2.fc42
2024.2.69_v8.0.401-3.fc42
4
sqlite-libs
3.47.0-1.fc42
3.47.1-1.fc42
4
cups-libs
1:2.4.11-6.fc42
1:2.4.11-7.fc42
4
libsepol
3.7-4.fc42
3.8-0.rc1.1.fc42
4
elfutils-libs
0.192-6.fc42
0.192-7.fc42
4
elfutils-libelf
0.192-6.fc42
0.192-7.fc42
4
libicu74
74.2-1.fc42
B
elfutils
0.192-6.fc42
0.192-7.fc42
B
libtool-ltdl
2.4.7-12.fc41
2.5.4-1.fc42
B
perl-IO-Compress
2.213-1.fc42
2.213-2.fc42
B
openldap
2.6.8-5.fc41
2.6.8-6.fc42
B
cups-filesystem
1:2.4.11-6.fc42
1:2.4.11-7.fc42
B
go-srpm-macros
3.6.0-3.fc41
3.6.0-5.fc42
B
perl-Business-ISBN-Data
20241123.001-1.fc42
20241205.001-1.fc42
B
fedora-release-identity-basic
42-0.8
42-0.11
B
pyproject-srpm-macros
1.16.2-1.fc42
1.16.3-1.fc42
B
fedora-release-common
42-0.8
42-0.11
B
crypto-policies
20241126-1.gitbb3f7dc....
20241128-1.gitbb7b0b0....
B
fedora-release
42-0.8
42-0.11
B
perl-IO-Socket-IP
0.42-512.fc41
0.43-1.fc42
B
libsemanage
3.7-4.fc42
3.8-0.rc1.1.fc42
B
elfutils-default-yama-scope
0.192-6.fc42
0.192-7.fc42
B
libicu
74.2-2.fc41
perl-Date-Manip
6.95-2.fc41
6.96-1.fc42
B
complete
126343198
2024-11-28 21:19:26
aarch64
├126343304 ( build.log | root.log )
ppc64le
├126343305 ( build.log | root.log )
x86_64
└126343303 ( build.log | root.log )
glibc
2.40.9000-18.fc42
2.40.9000-20.fc42
2
binutils
2.43.50-7.fc42
2.43.50-9.fc42
2
glibc-devel
2.40.9000-18.fc42
2.40.9000-20.fc42
2
libxcrypt
4.4.36-10.fc42
4.4.36-11.fc42
3
kernel-headers
6.12.0-0.rc7.58.fc42
6.12.0-65.fc42
3
libxcrypt-devel
4.4.36-10.fc42
4.4.36-11.fc42
3
glibc-common
2.40.9000-18.fc42
2.40.9000-20.fc42
3
glibc-minimal-langpack
2.40.9000-18.fc42
2.40.9000-20.fc42
3
libselinux
3.7-6.fc42
3.7-7.fc42
3
glibc-gconv-extra
2.40.9000-18.fc42
2.40.9000-20.fc42
3
libXt
1.3.0-4.fc41
1.3.1-1.fc42
4
libsepol
3.7-3.fc42
3.7-4.fc42
4
systemd-libs
257~rc1-2.fc42
257~rc3-1.fc42
4
libtiff
4.6.0-6.fc42
4.7.0-2.fc42
4
glib2
2.83.0-1.fc42
2.83.0-2.fc42
4
cups-libs
1:2.4.11-3.fc42
1:2.4.11-6.fc42
4
debugedit
5.1-1.fc42
5.1-2.fc42
B
cups-filesystem
1:2.4.11-3.fc42
1:2.4.11-6.fc42
B
crypto-policies
20241106-1.git35892de....
20241126-1.gitbb3f7dc....
B
file
5.45-7.fc41
5.45-8.fc42
B
perl-MailTools
2.21-17.fc41
2.22-1.fc42
B
unzip
6.0-64.fc41
6.0-65.fc42
B
efi-srpm-macros
5-12.fc41
5-13.fc42
B
annobin-docs
12.75-1.fc42
12.77-1.fc42
B
file-libs
5.45-7.fc41
5.45-8.fc42
B
annobin-plugin-gcc
12.75-1.fc42
12.77-1.fc42
B
perl-Business-ISBN-Data
20241112.001-1.fc42
20241123.001-1.fc42
B
pam
1.7.0-2.fc42
1.7.0-3.fc42
B
libsemanage
3.7-3.fc42
3.7-4.fc42
B
perl-Module-CoreList
1:5.20241020-1.fc42
1:5.20241120-1.fc42
B
pam-libs
1.7.0-2.fc42
1.7.0-3.fc42
B
complete
125935714
2024-11-17 00:23:11
aarch64
├125935822 ( build.log | root.log )
ppc64le
├125935820 ( build.log | root.log )
x86_64
└125935821 ( build.log | root.log )
glibc
2.40.9000-16.fc42
2.40.9000-18.fc42
2
binutils
2.43.50-5.fc42
2.43.50-7.fc42
2
python3-packaging
24.1-2.fc41
24.2-2.fc42
2
glibc-devel
2.40.9000-16.fc42
2.40.9000-18.fc42
2
bash
5.2.32-2.fc42
5.2.37-1.fc42
2
elfutils-debuginfod-client
0.192-3.fc42
0.192-6.fc42
3
kernel-headers
6.12.0-0.rc6.51.fc42
6.12.0-0.rc7.58.fc42
3
glibc-gconv-extra
2.40.9000-16.fc42
2.40.9000-18.fc42
3
glibc-common
2.40.9000-16.fc42
2.40.9000-18.fc42
3
python3-idna
3.9-1.fc42
3.10-1.fc42
3
glibc-minimal-langpack
2.40.9000-16.fc42
2.40.9000-18.fc42
3
libxcrypt
4.4.36-8.fc42
4.4.36-10.fc42
3
coreutils
9.5-10.fc42
9.5-11.fc42
3
libxcrypt-devel
4.4.36-8.fc42
4.4.36-10.fc42
3
systemd-libs
256.7-1.fc42
257~rc1-2.fc42
4
sqlite-libs
3.46.1-1.fc42
3.47.0-1.fc42
4
elfutils-libs
0.192-3.fc42
0.192-6.fc42
4
coreutils-common
9.5-10.fc42
9.5-11.fc42
4
elfutils-libelf
0.192-3.fc42
0.192-6.fc42
4
cups-libs
1:2.4.11-2.fc42
1:2.4.11-3.fc42
4
python-pip-wheel
24.2-2.fc42
24.3.1-1.fc42
4
libeconf
0.7.4-2.fc42
0.7.4-3.fc42
B
annobin-docs
12.70-1.fc42
12.75-1.fc42
B
gdb-minimal
15.2-2.fc42
15.2-3.fc42
B
cups-filesystem
1:2.4.11-3.fc42
B
annobin-plugin-gcc
12.70-1.fc42
12.75-1.fc42
B
pyproject-srpm-macros
1.16.1-1.fc42
1.16.2-1.fc42
B
pam-libs
1.7.0-1.fc42
1.7.0-2.fc42
B
libtirpc
1.3.6-0.fc42
1.3.6-1.fc42
B
elfutils
0.192-3.fc42
0.192-6.fc42
B
perl-Business-ISBN-Data
20241107.001-1.fc42
20241112.001-1.fc42
B
shadow-utils
2:4.16.0-6.fc42
2:4.16.0-7.fc42
B
default-fonts-core-sans
4.2-1.fc42
4.2-2.fc42
B
pam
1.7.0-1.fc42
1.7.0-2.fc42
B
perl-HTTP-Tiny
0.088-512.fc41
0.090-1.fc42
B
elfutils-default-yama-scope
0.192-3.fc42
0.192-6.fc42
B
complete
125602941
2024-11-07 20:54:02
aarch64
├125603121 ( build.log | root.log )
ppc64le
├125603119 ( build.log | root.log )
x86_64
└125603120 ( build.log | root.log )
gcc
14.2.1-5.fc42
14.2.1-6.fc42
1
gcc-c++
14.2.1-5.fc42
14.2.1-6.fc42
1
libgomp
14.2.1-5.fc42
14.2.1-6.fc42
2
glibc
2.40.9000-15.fc42
2.40.9000-16.fc42
2
zlib-ng-compat
2.1.7-3.fc42
2.2.2-1.fc42
2
cmake-filesystem
3.28.3-7.fc41
3.30.5-1.fc42
2
libstdc++-devel
14.2.1-5.fc42
14.2.1-6.fc42
2
libgcc
14.2.1-5.fc42
14.2.1-6.fc42
2
glibc-devel
2.40.9000-15.fc42
2.40.9000-16.fc42
2
libstdc++
14.2.1-5.fc42
14.2.1-6.fc42
2
zlib-ng-compat-devel
2.1.7-3.fc42
2.2.2-1.fc42
2
cpp
14.2.1-5.fc42
14.2.1-6.fc42
2
libxcrypt-devel
4.4.36-7.fc41
4.4.36-8.fc42
3
glibc-gconv-extra
2.40.9000-15.fc42
2.40.9000-16.fc42
3
libxcrypt
4.4.36-7.fc41
4.4.36-8.fc42
3
glibc-minimal-langpack
2.40.9000-15.fc42
2.40.9000-16.fc42
3
kernel-headers
6.12.0-0.rc5.44.fc42
6.12.0-0.rc6.51.fc42
3
glibc-common
2.40.9000-15.fc42
2.40.9000-16.fc42
3
glib2
2.82.2-1.fc42
2.83.0-1.fc42
4
expat
2.6.3-1.fc42
2.6.4-1.fc42
4
json-c
0.17-4.fc41
0.18-1.fc42
4
fedora-release-identity-basic
42-0.6
42-0.8
B
gdb-minimal
15.2-1.fc42
15.2-2.fc42
B
crypto-policies
20241018-1.gitce922cb....
20241106-1.git35892de....
B
libarchive
3.7.6-1.fc42
3.7.7-1.fc42
B
harfbuzz
10.0.1-1.fc42
10.1.0-1.fc42
B
perl-URI
5.30-1.fc42
5.31-1.fc42
B
perl-Business-ISBN-Data
20241025.001-1.fc42
20241107.001-1.fc42
B
fedora-release-common
42-0.6
42-0.8
B
gnutls
3.8.7-4.fc42
3.8.8-1.fc42
B
pyproject-srpm-macros
1.15.1-1.fc42
1.16.1-1.fc42
B
gcc-plugin-annobin
14.2.1-5.fc42
14.2.1-6.fc42
B
fedora-release
42-0.6
42-0.8
B
complete
125434377
2024-11-01 21:28:37
aarch64
├125434430 ( build.log | root.log )
ppc64le
├125434428 ( build.log | root.log )
x86_64
└125434429 ( build.log | root.log )
gcc
14.2.1-4.fc42
14.2.1-5.fc42
1
gcc-c++
14.2.1-4.fc42
14.2.1-5.fc42
1
cpp
14.2.1-4.fc42
14.2.1-5.fc42
2
libstdc++-devel
14.2.1-4.fc42
14.2.1-5.fc42
2
libstdc++
14.2.1-4.fc42
14.2.1-5.fc42
2
glibc-devel
2.40.9000-7.fc42
2.40.9000-15.fc42
2
libgomp
14.2.1-4.fc42
14.2.1-5.fc42
2
libgcc
14.2.1-4.fc42
14.2.1-5.fc42
2
glibc
2.40.9000-7.fc42
2.40.9000-15.fc42
2
python3-markupsafe
2.1.5-3.fc41
3.0.2-1.fc42
3
kernel-headers
6.12.0-0.rc4.39.fc42
6.12.0-0.rc5.44.fc42
3
glibc-common
2.40.9000-7.fc42
2.40.9000-15.fc42
3
glibc-gconv-extra
2.40.9000-7.fc42
2.40.9000-15.fc42
3
glibc-minimal-langpack
2.40.9000-7.fc42
2.40.9000-15.fc42
3
libcap
2.70-4.fc41
2.71-1.fc42
4
glibc-headers-x86
2.40.9000-7.fc42
debugedit
5.0-18.fc42
5.1-1.fc42
B
krb5-libs
1.21.3-2.fc41
1.21.3-3.fc42
B
perl-DateTime-Locale
1.43-1.fc41
1.44-1.fc42
B
perl-Business-ISBN-Data
20241019.001-1.fc42
20241025.001-1.fc42
B
pam
1.6.1-8.fc42
1.7.0-1.fc42
B
pam-libs
1.6.1-8.fc42
1.7.0-1.fc42
B
gcc-plugin-annobin
14.2.1-4.fc42
14.2.1-5.fc42
B
complete
125160759
2024-10-24 17:21:37
aarch64
├125160901 ( build.log | root.log )
ppc64le
├125160899 ( build.log | root.log )
x86_64
└125160900 ( build.log | root.log )
binutils
2.43.1-1.fc42
2.43.50-5.fc42
2
perl-Scalar-List-Utils
5:1.66-1.fc42
5:1.68-1.fc42
2
kernel-headers
6.11.0-63.fc42
6.12.0-0.rc4.39.fc42
3
jansson
2.13.1-10.fc41
2.14-1.fc42
3
python3-charset-normalizer
3.3.2-5.fc41
3.4.0-1.fc42
3
elfutils-debuginfod-client
0.191-8.fc41
0.192-3.fc42
3
json-c
0.17-4.fc41
4
adobe-mappings-cmap-deprecated
20230622-4.fc41
20231115-1.fc42
4
glib2
2.82.1-2.fc42
2.82.2-1.fc42
4
elfutils-libelf
0.191-8.fc41
0.192-3.fc42
4
cups-libs
1:2.4.11-1.fc42
1:2.4.11-2.fc42
4
sqlite-libs
3.46.0-4.fc41
3.46.1-1.fc42
4
elfutils-libs
0.191-8.fc41
0.192-3.fc42
4
adobe-mappings-cmap
20230622-4.fc41
20231115-1.fc42
4
shadow-utils
2:4.16.0-5.fc42
2:4.16.0-6.fc42
B
pam-libs
1.6.1-6.fc42
1.6.1-8.fc42
B
perl-Digest-HMAC
1.04-11.fc41
1.05-1.fc42
B
fedora-repos
42-0.2
42-0.3
B
pam
1.6.1-6.fc42
1.6.1-8.fc42
B
libcom_err
1.47.1-3.fc41
1.47.1-6.fc42
B
crypto-policies
20241010-1.git8baf557....
20241018-1.gitce922cb....
B
fedora-release-common
42-0.4
42-0.6
B
perl-Module-CoreList
1:5.20240920-1.fc42
1:5.20241020-1.fc42
B
add-determinism
0.4.1-1.fc42
0.4.3-1.fc42
B
lua-libs
5.4.6-6.fc41
5.4.7-1.fc42
B
build-reproducibility-srpm-macros
0.4.1-1.fc42
0.4.3-1.fc42
B
fedora-release-identity-basic
42-0.4
42-0.6
B
default-fonts-core-sans
4.1-3.fc42
4.2-1.fc42
B
libeconf
0.6.2-3.fc41
0.7.4-2.fc42
B
libnghttp2
1.63.0-1.fc42
1.64.0-1.fc42
B
fedora-repos-rawhide
42-0.2
42-0.3
B
elfutils
0.191-8.fc41
0.192-3.fc42
B
fedora-release
42-0.4
42-0.6
B
fedora-gpg-keys
42-0.2
42-0.3
B
libtirpc
1.3.5-0.fc41
1.3.6-0.fc42
B
perl-Class-Data-Inheritable
0.09-9.fc41
0.10-1.fc42
B
perl-Business-ISBN-Data
20241014.001-1.fc42
20241019.001-1.fc42
B
elfutils-default-yama-scope
0.191-8.fc41
0.192-3.fc42
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues