yices

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
2753
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

gcc-c++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
1
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
1
libstdc++-devel
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
libgcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
python3-requests
2.32.3-4.fc42
2.32.3-12.fc43
2
cpp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
picosat-libs
965-23.fc42
965-26.fc43
3
python3-urllib3
2.3.0-2.fc42
2.4.0-1.fc43
3
breakid
3.1.2-6.fc42
3.1.2-7.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
4
libcap
2.73-2.fc42
2.76-1.fc43
4
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
B
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
B
google-noto-sans-vf-fonts
20250301-1.fc43
20250401-1.fc43
B
libgcrypt
1.11.0-5.fc42
B
libfsverity
1.6-2.fc42
B
google-noto-fonts-common
20250301-1.fc43
20250401-1.fc43
B
libusb1
1.0.28-2.fc43
B
libassuan
2.5.7-3.fc42
B
npth
1.8-2.fc42
B
libgpg-error
1.54-1.fc43
B
gnupg2
2.4.7-3.fc43
B
libksba
1.6.7-3.fc42
B
rpm-sign-libs
5.99.90-3.fc43
B
tpm2-tss
4.1.3-7.fc43
B
harfbuzz
11.0.1-2.fc43
11.1.0-1.fc43
B
perl-Business-ISBN-Data
20250411.001-1.fc43
20250418.001-1.fc43
B
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
perl-MIME-Types
2.27-1.fc43
2.28-1.fc43
B
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
B
rpm
4.20.1-3.fc43
5.99.90-3.fc43
B
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.14.fc43
B
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
B

State overview

Groups

This package is not part of any global group.

Historical builds

Real build: yices-2.6.5-6.fc42
complete
128166373
2025-01-19 16:34:18
aarch64
├128166504 ( build.log | root.log )
ppc64le
├128166505 ( build.log | root.log )
s390x
├128166506 ( build.log | root.log )
x86_64
└128166503 ( build.log | root.log )
No dependency changes
complete
127891902
2025-01-15 11:00:00
aarch64
├127891964 ( build.log | root.log )
ppc64le
├127891962 ( build.log | root.log )
x86_64
└127891963 ( build.log | root.log )
python3-sphinx
1:7.3.7-2.fc41
1:8.1.3-1.fc42
1
libtool
2.5.4-1.fc42
2.5.4-3.fc42
1
gcc-c++
14.2.1-6.fc42
15.0.1-0.3.fc42
1
gcc
14.2.1-6.fc42
15.0.1-0.3.fc42
1
cmake-filesystem
3.31.3-1.fc42
3.31.4-1.fc42
2
glibc
2.40.9000-27.fc42
2.40.9000-28.fc42
2
libstdc++
14.2.1-6.fc42
15.0.1-0.3.fc42
2
libstdc++-devel
14.2.1-6.fc42
15.0.1-0.3.fc42
2
libgcc
14.2.1-6.fc42
15.0.1-0.3.fc42
2
cpp
14.2.1-6.fc42
15.0.1-0.3.fc42
2
libgomp
14.2.1-6.fc42
15.0.1-0.3.fc42
2
glibc-devel
2.40.9000-27.fc42
2.40.9000-28.fc42
2
coreutils
9.5-11.fc42
9.5-12.fc42
3
libselinux
3.8-0.rc3.1.fc42.1
3.8-0.rc3.1.fc42.2
3
kernel-headers
6.13.0-0.rc6.48.fc42
6.13.0-0.rc7.55.fc42
3
libxcrypt-devel
4.4.37-4.fc42
4.4.38-1.fc42
3
alternatives
1.31-1.fc42
1.31-2.fc42
3
filesystem
3.18-29.fc42
3.18-30.fc42
3
libxcrypt
4.4.37-4.fc42
4.4.38-1.fc42
3
glibc-common
2.40.9000-27.fc42
2.40.9000-28.fc42
3
glibc-minimal-langpack
2.40.9000-27.fc42
2.40.9000-28.fc42
3
glibc-gconv-extra
2.40.9000-27.fc42
2.40.9000-28.fc42
3
coreutils-common
9.5-11.fc42
9.5-12.fc42
4
libuuid
2.40.2-8.fc42
2.40.2-9.fc42
4
openjpeg
2.5.3-2.fc42
2.5.3-4.fc42
4
libcap
2.71-1.fc42
2.71-2.fc42
4
systemd-libs
257.2-1.fc42
257.2-7.fc42
4
annobin-plugin-gcc
12.80-1.fc42
12.80-2.fc42
B
fedora-release-common
42-0.12
42-0.13
B
filesystem-srpm-macros
3.18-29.fc42
3.18-30.fc42
B
harfbuzz
10.1.0-2.fc42
10.2.0-1.fc42
B
shadow-utils
2:4.17.0-2.fc42
2:4.17.0-3.fc42
B
gcc-plugin-annobin
14.2.1-6.fc42
15.0.1-0.3.fc42
B
util-linux
2.40.2-8.fc42
2.40.2-9.fc42
B
rpm-build-libs
4.20.0-1.fc42
4.20.0-5.fc42
B
fedora-release-identity-basic
42-0.12
42-0.13
B
rpm-build
4.20.0-1.fc42
4.20.0-5.fc42
B
libsmartcols
2.40.2-8.fc42
2.40.2-9.fc42
B
rpm
4.20.0-1.fc42
4.20.0-5.fc42
B
rpm-libs
4.20.0-1.fc42
4.20.0-5.fc42
B
libtool-ltdl
2.5.4-1.fc42
2.5.4-3.fc42
B
cyrus-sasl-lib
2.1.28-27.fc41
2.1.28-28.fc42
B
libblkid
2.40.2-8.fc42
2.40.2-9.fc42
B
libcom_err
1.47.2-1.fc42
1.47.2-2.fc42
B
fedora-release
42-0.12
42-0.13
B
util-linux-core
2.40.2-8.fc42
2.40.2-9.fc42
B
annobin-docs
12.80-1.fc42
12.80-2.fc42
B
info
7.1.1-2.fc42
7.2-1.fc42
B
libfdisk
2.40.2-8.fc42
2.40.2-9.fc42
B
libmount
2.40.2-8.fc42
2.40.2-9.fc42
B
complete
127733685
2025-01-10 09:20:55
aarch64
├127733803 ( build.log | root.log )
ppc64le
├127733805 ( build.log | root.log )
x86_64
└127733804 ( build.log | root.log )
perl-FileHandle
2.05-512.fc42
2.05-513.fc42
2
python3-jinja2
3.1.4-5.fc41
3.1.5-1.fc42
2
perl-File-Copy
2.41-512.fc42
2.41-513.fc42
2
perl-libs
4:5.40.0-512.fc42
4:5.40.0-513.fc42
2
perl-File-Basename
2.86-512.fc42
2.86-513.fc42
2
glibc-devel
2.40.9000-26.fc42
2.40.9000-27.fc42
2
python3-babel
2.16.0-1.fc42
2.16.0-2.fc42
2
glibc
2.40.9000-26.fc42
2.40.9000-27.fc42
2
perl-File-Find
1.44-512.fc42
1.44-513.fc42
2
zlib-ng-compat-devel
2.2.2-1.fc42
2.2.3-1.fc42
2
perl-interpreter
4:5.40.0-512.fc42
4:5.40.0-513.fc42
2
perl-sigtrap
1.10-512.fc42
1.10-513.fc42
2
zlib-ng-compat
2.2.2-1.fc42
2.2.3-1.fc42
2
perl-Symbol
1.09-512.fc42
1.09-513.fc42
3
glibc-gconv-extra
2.40.9000-26.fc42
2.40.9000-27.fc42
3
libselinux
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
3
perl-Class-Struct
0.68-512.fc42
0.68-513.fc42
3
perl-File-stat
1.14-512.fc42
1.14-513.fc42
3
glibc-common
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-Getopt-Std
1.14-512.fc42
1.14-513.fc42
3
perl-vars
1.05-512.fc42
1.05-513.fc42
3
perl-File-Compare
1.100.800-512.fc42
1.100.800-513.fc42
3
perl-Errno
1.38-512.fc42
1.38-513.fc42
3
perl-meta-notation
5.40.0-512.fc42
5.40.0-513.fc42
3
glibc-minimal-langpack
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-overload
1.37-512.fc42
1.37-513.fc42
3
perl-DynaLoader
1.56-512.fc42
1.56-513.fc42
3
perl-POSIX
2.20-512.fc42
2.20-513.fc42
3
perl-IO
1.55-512.fc42
1.55-513.fc42
3
perl-B
1.89-512.fc42
1.89-513.fc42
4
systemd-libs
257.1-1.fc42
257.2-1.fc42
4
perl-SelectSaver
1.02-512.fc42
1.02-513.fc42
4
openssl-libs
1:3.2.2-10.fc42
1:3.2.2-11.fc42
4
perl-mro
1.29-512.fc42
1.29-513.fc42
4
perl-overloading
0.02-512.fc42
0.02-513.fc42
4
perl-Fcntl
1.18-512.fc42
1.18-513.fc42
4
perl-base
2.27-512.fc42
2.27-513.fc42
4
perl-locale
1.12-512.fc42
1.12-513.fc42
4
perl-Locale-Maketext-Simple
1:0.21-512.fc42
1:0.21-513.fc42
B
perl-Sys-Hostname
1.25-512.fc42
1.25-513.fc42
B
perl-Safe
2.46-512.fc42
2.46-513.fc42
B
perl-Tie
4.6-512.fc42
4.6-513.fc42
B
perl-Opcode
1.65-512.fc42
1.65-513.fc42
B
perl-Pod-Html
1.35-512.fc42
1.35-513.fc42
B
perl-deprecate
0.04-512.fc42
0.04-513.fc42
B
perl-open
1.13-512.fc42
1.13-513.fc42
B
perl-English
1.11-512.fc42
1.11-513.fc42
B
openldap
2.6.8-6.fc42
2.6.9-1.fc42
B
perl-Unicode-UCD
0.78-512.fc42
0.78-513.fc42
B
perl-AutoLoader
5.74-512.fc42
5.74-513.fc42
B
perl-IPC-Open3
1.22-512.fc42
1.22-513.fc42
B
ed
1.20.2-2.fc41
1.21-1.fc42
B
perl-if
0.61.000-512.fc42
0.61.000-513.fc42
B
perl-Math-Complex
1.62-512.fc42
1.62-513.fc42
B
perl-subs
1.04-512.fc42
1.04-513.fc42
B
perl-I18N-LangTags
0.45-512.fc42
0.45-513.fc42
B
perl-I18N-Langinfo
0.24-512.fc42
0.24-513.fc42
B
perl-Business-ISBN-Data
20241224.001-1.fc42
20250109.001-1.fc42
B
perl-Hash-Util-FieldHash
1.27-512.fc42
1.27-513.fc42
B
audit-libs
4.0.2-1.fc41
4.0.3-1.fc42
B
complete
127646670
2025-01-07 23:18:44
aarch64
├127646799 ( build.log | root.log )
ppc64le
├127646801 ( build.log | root.log )
x86_64
└127646800 ( build.log | root.log )
glibc-devel
2.40.9000-24.fc42
2.40.9000-26.fc42
2
glibc
2.40.9000-24.fc42
2.40.9000-26.fc42
2
kernel-headers
6.13.0-0.rc5.42.fc42
6.13.0-0.rc6.48.fc42
3
glibc-gconv-extra
2.40.9000-24.fc42
2.40.9000-26.fc42
3
libxcrypt
4.4.37-1.fc42
4.4.37-4.fc42
3
glibc-minimal-langpack
2.40.9000-24.fc42
2.40.9000-26.fc42
3
glibc-common
2.40.9000-24.fc42
2.40.9000-26.fc42
3
libxcrypt-devel
4.4.37-1.fc42
4.4.37-4.fc42
3
python3-charset-normalizer
3.4.0-1.fc42
3.4.1-1.fc42
3
cups-libs
1:2.4.11-8.fc42
1:2.4.11-9.fc42
4
openssl-libs
1:3.2.2-8.fc42
1:3.2.2-10.fc42
4
libjpeg-turbo
3.0.4-1.fc42
3.1.0-1.fc42
4
fedora-release-common
42-0.11
42-0.12
B
cups-filesystem
1:2.4.11-8.fc42
1:2.4.11-9.fc42
B
xxhash-libs
0.8.2-4.fc42
0.8.3-1.fc42
B
google-noto-fonts-common
20240901-1.fc42
20250101-1.fc42
B
perl-Tie-Cycle
1.228-3.fc41
1.229-1.fc42
B
perltidy
20240903-1.fc42
20250105-1.fc42
B
redhat-rpm-config
296-1.fc42
300-1.fc42
B
fedora-release
42-0.11
42-0.12
B
libicu
76.1-1.fc42
76.1-2.fc42
B
libtirpc
1.3.6-1.fc42
1.3.6-1.rc3.fc42
B
perl-Business-ISBN
3.009-5.fc41
3.011-1.fc42
B
fedora-release-identity-basic
42-0.11
42-0.12
B
google-noto-sans-vf-fonts
20240901-1.fc42
20250101-1.fc42
B
pyproject-srpm-macros
1.16.3-1.fc42
1.16.4-1.fc42
B
libcom_err
1.47.1-6.fc42
1.47.2-1.fc42
B
perl-Module-CoreList
1:5.20241120-1.fc42
1:5.20241220-1.fc42
B
filesystem-srpm-macros
3.18-29.fc42
B
complete
127434962
2024-12-31 14:11:11
aarch64
├127435055 ( build.log | root.log )
ppc64le
├127435057 ( build.log | root.log )
x86_64
└127435056 ( build.log | root.log )
latexmk
4.86-1.fc42
4.86a-1.fc42
1
libxcrypt
4.4.36-12.fc42
4.4.37-1.fc42
3
libxcrypt-devel
4.4.36-12.fc42
4.4.37-1.fc42
3
kernel-headers
6.13.0-0.rc4.36.fc42
6.13.0-0.rc5.42.fc42
3
openjpeg
2.5.2-4.fc42
2.5.3-2.fc42
4
setup
2.15.0-5.fc41
2.15.0-9.fc42
4
ca-certificates
2024.2.69_v8.0.401-3.fc42
2024.2.69_v8.0.401-4.fc42
4
perl-Specio
0.48-7.fc41
0.49-1.fc42
B
shadow-utils
2:4.17.0~rc1-2.fc42
2:4.17.0-2.fc42
B
libxml2
2.12.8-2.fc41
2.12.9-1.fc42
B
perl-Business-ISBN-Data
20241220.001-1.fc42
20241224.001-1.fc42
B
complete
127146542
2024-12-23 18:29:26
aarch64
├127146666 ( build.log | root.log )
ppc64le
├127146668 ( build.log | root.log )
x86_64
└127146667 ( build.log | root.log )
cmake-filesystem
3.31.2-1.fc42
3.31.3-1.fc42
2
glibc-devel
2.40.9000-23.fc42
2.40.9000-24.fc42
2
glibc
2.40.9000-23.fc42
2.40.9000-24.fc42
2
libxcrypt-devel
4.4.36-11.fc42
4.4.36-12.fc42
3
glibc-gconv-extra
2.40.9000-23.fc42
2.40.9000-24.fc42
3
libxcrypt
4.4.36-11.fc42
4.4.36-12.fc42
3
python3-urllib3
2.2.3-3.fc42
2.3.0-1.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
kernel-headers
6.13.0-0.rc1.e70140b...
6.13.0-0.rc4.36.fc42
3
alternatives
1.30-1.fc41
1.31-1.fc42
3
libselinux
3.8-0.rc1.2.fc42
3.8-0.rc3.1.fc42
3
systemd-libs
257-1.fc42
257.1-1.fc42
4
libsepol
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
4
perl-Business-ISBN-Data
20241206.001-1.fc42
20241220.001-1.fc42
B
libXau
1.0.11-7.fc41
1.0.12-1.fc42
B
annobin-plugin-gcc
12.79-1.fc42
12.80-1.fc42
B
libSM
1.2.4-4.fc41
1.2.5-1.fc42
B
add-determinism
0.4.3-1.fc42
0.5.0-1.fc42
B
annobin-docs
12.79-1.fc42
12.80-1.fc42
B
dbus-libs
1:1.14.10-4.fc41
1:1.16.0-1.fc42
B
shadow-utils
2:4.17.0~rc1-1.fc42
2:4.17.0~rc1-2.fc42
B
libwebp
1.4.0-4.fc41
1.5.0-1.fc42
B
build-reproducibility-srpm-macros
0.4.3-1.fc42
0.5.0-1.fc42
B
libsemanage
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
B
libICE
1.1.1-4.fc41
1.1.2-1.fc42
B
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
python3
3.13.0-1.fc42
3.13.1-2.fc42
2
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
glibc-minimal-langpack
2.40.9000-21.fc42
2.40.9000-23.fc42
3
glibc-gconv-extra
2.40.9000-21.fc42
2.40.9000-23.fc42
3
glibc-common
2.40.9000-21.fc42
2.40.9000-23.fc42
3
perl-parent
1:0.243-1.fc42
1:0.244-1.fc42
3
python3-libs
3.13.0-1.fc42
3.13.1-2.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
libeconf
0.7.4-3.fc42
0.7.5-1.fc42
B
gdb-minimal
15.2-3.fc42
15.2-4.fc42
B
zip
3.0-41.fc41
3.0-42.fc42
B
curl
8.10.1-2.fc42
8.11.1-2.fc42
B
shadow-utils
2:4.16.0-7.fc42
2:4.17.0~rc1-1.fc42
B
qt6-srpm-macros
6.8.1-3.fc42
6.8.1-4.fc42
B
annobin-plugin-gcc
12.77-1.fc42
12.79-1.fc42
B
annobin-docs
12.77-1.fc42
12.79-1.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-latex
11:svn65161-86.fc42
11:svn65161-87.fc42
2
texlive-lwarp
11:svn66259-86.fc42
11:svn66259-87.fc42
2
texlive-thumbpdf
11:svn62518-86.fc42
11:svn62518-87.fc42
2
texlive-base
11:20230311-86.fc42
11:20230311-87.fc42
2
texlive-attachfile2
11:svn57959-86.fc42
11:svn57959-87.fc42
2
texlive-oberdiek
11:svn65521-86.fc42
11:svn65521-87.fc42
3
texlive-kpathsea
11:svn66209-86.fc42
11:svn66209-87.fc42
3
texlive-pdftex
11:svn66243-86.fc42
11:svn66243-87.fc42
3
texlive-luatex
11:svn66967-86.fc42
11:svn66967-87.fc42
3
texlive-mptopdf
11:svn65952-86.fc42
11:svn65952-87.fc42
3
texlive-luaotfload
11:svn64616-86.fc42
11:svn64616-87.fc42
3
texlive-luahbtex
11:svn66186-86.fc42
11:svn66186-87.fc42
4
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-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
texlive-gsftopk
11:svn52851-86.fc42
11:svn52851-87.fc42
B
cups-filesystem
1:2.4.11-7.fc42
1:2.4.11-8.fc42
B
harfbuzz
10.1.0-1.fc42
10.1.0-2.fc42
B
libicu74
74.2-1.fc42
rpm-sequoia
1.7.0-2.fc41
1.7.0-3.fc42
B
qt6-srpm-macros
6.8.0-1.fc42
6.8.1-3.fc42
B
perl-Business-ISBN-Data
20241205.001-1.fc42
20241206.001-1.fc42
B
libicu
76.1-1.fc42
B
texlive-xetex
11:svn66203-86.fc42
11:svn66203-87.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