cryptominisat

Package information

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

Scheduler parameters

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

No dependency changes

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
132434762
2025-05-07 18:29:37
aarch64
├132434865 ( build.log | root.log )
ppc64le
├132434864 ( build.log | root.log )
x86_64
└132434866 ( build.log | root.log )
python3-devel
3.13.3-2.fc43
3.13.3-3.fc43
1
python3-pip
25.1-1.fc43
25.1.1-1.fc43
1
python3-libs
3.13.3-2.fc43
3.13.3-3.fc43
2
glibc
2.41.9000-11.fc43
2.41.9000-12.fc43
2
libcurl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
2
python3
3.13.3-2.fc43
3.13.3-3.fc43
2
python-pip-wheel
25.1-1.fc43
25.1.1-1.fc43
3
sqlite-libs
3.49.0-1.fc43
3.49.1-1.fc43
3
glibc-common
2.41.9000-11.fc43
2.41.9000-12.fc43
3
glibc-gconv-extra
2.41.9000-11.fc43
2.41.9000-12.fc43
3
glibc-minimal-langpack
2.41.9000-11.fc43
2.41.9000-12.fc43
3
filesystem
3.18-40.fc43
3.18-41.fc43
3
diffutils
3.12-1.fc43
3.12-2.fc43
3
glibc-devel
2.41.9000-11.fc43
2.41.9000-12.fc43
3
curl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
4
kernel-headers
6.15.0-0.rc2.22.fc43
6.15.0-0.rc5.42.fc43
4
filesystem-srpm-macros
3.18-40.fc43
3.18-41.fc43
4
libpng
2:1.6.47-1.fc43
2:1.6.48-1.fc43
4
Real build: cryptominisat-5.13.0-1.fc43
complete
132178442
2025-05-01 15:29:10
aarch64
├132178470 ( build.log | root.log )
ppc64le
├132178471 ( build.log | root.log )
s390x
├132178472 ( build.log | root.log )
x86_64
└132178469 ( build.log | root.log )
python3-setuptools
78.1.0-1.fc43
78.1.1-1.fc43
1
breakid-devel
3.1.2-7.fc43
3.1.3-1.fc43
1
python3-packaging
24.2-3.fc42
25.0-1.fc43
1
cadical-devel
1:2.0.0-4.fc42
1:2.1.3-1.fc43
1
python3-pip
25.0.1-3.fc43
25.1-1.fc43
1
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
2
cadical-libs
1:2.0.0-4.fc42
1:2.1.3-1.fc43
2
breakid
3.1.2-7.fc43
3.1.3-1.fc43
2
rpm
5.99.90-3.fc43
5.99.90-4.fc43
3
python-pip-wheel
25.0.1-3.fc43
25.1-1.fc43
3
rpm-libs
5.99.90-3.fc43
5.99.90-4.fc43
3
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
3
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
fedora-gpg-keys
43-0.1
43-0.2
B
fedora-repos
43-0.1
43-0.2
B
fedora-repos-rawhide
43-0.1
43-0.2
B
harfbuzz
11.1.0-1.fc43
11.2.0-1.fc43
B
complete
132005074
2025-04-26 19:27:36
aarch64
├132005156 ( build.log | root.log )
ppc64le
├132005157 ( build.log | root.log )
x86_64
└132005158 ( build.log | root.log )
python3-devel
3.13.3-1.fc43
3.13.3-2.fc43
1
gcc-c++
15.0.1-0.14.fc43
15.1.1-1.fc43
1
libquadmath-devel
15.0.1-0.14.fc43
15.1.1-1.fc43
2
libstdc++
15.0.1-0.14.fc43
15.1.1-1.fc43
2
libstdc++-devel
15.0.1-0.14.fc43
15.1.1-1.fc43
2
python3-libs
3.13.3-1.fc43
3.13.3-2.fc43
2
glibc
2.41.9000-10.fc43
2.41.9000-11.fc43
2
libgcc
15.0.1-0.14.fc43
15.1.1-1.fc43
2
libuv
1:1.50.0-1.fc42
1:1.51.0-1.fc43
2
python3
3.13.3-1.fc43
3.13.3-2.fc43
2
gcc
15.0.1-0.14.fc43
15.1.1-1.fc43
2
glibc-common
2.41.9000-10.fc43
2.41.9000-11.fc43
3
libquadmath
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-minimal-langpack
2.41.9000-10.fc43
2.41.9000-11.fc43
3
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
gdb-minimal
16.2-3.fc43
16.3-1.fc43
3
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-11.fc43
3
glibc-devel
2.41.9000-10.fc43
2.41.9000-11.fc43
3
cpp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
gcc-plugin-annobin
15.0.1-0.14.fc43
15.1.1-1.fc43
4
libgfortran
15.0.1-0.14.fc43
15.1.1-1.fc43
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
complete
131914209
2025-04-24 00:20:26
aarch64
├131914272 ( build.log | root.log )
ppc64le
├131914271 ( build.log | root.log )
x86_64
└131914270 ( build.log | root.log )
picosat-devel
965-24.fc43
965-26.fc43
1
gcc-c++
15.0.1-0.13.fc43
15.0.1-0.14.fc43
1
libgcc
15.0.1-0.13.fc43
15.0.1-0.14.fc43
2
gcc
15.0.1-0.13.fc43
15.0.1-0.14.fc43
2
picosat-R
965-24.fc43
965-26.fc43
2
libstdc++
15.0.1-0.13.fc43
15.0.1-0.14.fc43
2
libquadmath-devel
15.0.1-0.13.fc43
15.0.1-0.14.fc43
2
picosat-libs
965-24.fc43
965-26.fc43
2
libstdc++-devel
15.0.1-0.13.fc43
15.0.1-0.14.fc43
2
redhat-rpm-config
343-3.fc43
343-4.fc43
3
libgomp
15.0.1-0.13.fc43
15.0.1-0.14.fc43
3
python3-numpy
1:2.2.4-1.fc43
1:2.2.5-1.fc43
3
R-core
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
3
cpp
15.0.1-0.13.fc43
15.0.1-0.14.fc43
3
libquadmath
15.0.1-0.13.fc43
15.0.1-0.14.fc43
3
python3-numpy-f2py
1:2.2.4-1.fc43
1:2.2.5-1.fc43
4
tree-sitter-srpm-macros
0.2.2-1.fc43
0.2.4-1.fc43
4
libRmath
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
4
gcc-plugin-annobin
15.0.1-0.13.fc43
15.0.1-0.14.fc43
4
fedora-release-identity-basic
43-0.13
43-0.15
B
fedora-release
43-0.13
43-0.15
B
fedora-release-common
43-0.13
43-0.15
B
libgfortran
15.0.1-0.13.fc43
15.0.1-0.14.fc43
B
complete
131703302
2025-04-19 05:04:06
aarch64
├131703365 ( build.log | root.log )
ppc64le
├131703364 ( build.log | root.log )
x86_64
└131703363 ( build.log | root.log )
picosat-devel
965-23.fc42
965-24.fc43
1
python3-wheel
1:0.45.1-3.fc42
1:0.45.1-6.fc43
1
breakid-devel
3.1.2-6.fc42
3.1.2-7.fc43
1
gcc-c++
15.0.1-0.12.fc43
15.0.1-0.13.fc43
1
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
2
picosat-R
965-23.fc42
965-24.fc43
2
libquadmath-devel
15.0.1-0.12.fc43
15.0.1-0.13.fc43
2
picosat-libs
965-23.fc42
965-24.fc43
2
libstdc++-devel
15.0.1-0.12.fc43
15.0.1-0.13.fc43
2
breakid
3.1.2-6.fc42
3.1.2-7.fc43
2
libstdc++
15.0.1-0.12.fc43
15.0.1-0.13.fc43
2
gcc
15.0.1-0.12.fc43
15.0.1-0.13.fc43
2
libgcc
15.0.1-0.12.fc43
15.0.1-0.13.fc43
2
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
3
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
3
libgomp
15.0.1-0.12.fc43
15.0.1-0.13.fc43
3
cpp
15.0.1-0.12.fc43
15.0.1-0.13.fc43
3
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
3
rpm
4.20.1-3.fc43
5.99.90-3.fc43
3
libquadmath
15.0.1-0.12.fc43
15.0.1-0.13.fc43
3
R-core
4.4.3-1.fc43
4.5.0-1.fc43~bootstrap
3
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.13.fc43
4
libcap
2.73-2.fc42
2.76-1.fc43
4
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
4
libRmath
4.4.3-1.fc43
4.5.0-1.fc43~bootstrap
4
rpm-sign-libs
5.99.90-3.fc43
4
tpm2-tss
4.1.3-7.fc43
B
harfbuzz
11.0.1-2.fc43
11.1.0-1.fc43
B
libgfortran
15.0.1-0.12.fc43
15.0.1-0.13.fc43
B
google-noto-sans-vf-fonts
20250301-1.fc43
20250401-1.fc43
B
google-noto-fonts-common
20250301-1.fc43
20250401-1.fc43
B
libgpg-error
1.54-1.fc43
B
npth
1.8-2.fc42
B
ima-evm-utils-libs
1.6.2-5.fc43
B
libassuan
2.5.7-3.fc42
B
libksba
1.6.7-3.fc42
B
libgcrypt
1.11.0-5.fc42
B
libfsverity
1.6-2.fc42
B
libusb1
1.0.28-2.fc43
B
gnupg2
2.4.7-3.fc43
B
complete
131599000
2025-04-16 11:36:09
aarch64
├131599108 ( build.log | root.log )
ppc64le
├131599107 ( build.log | root.log )
x86_64
└131599106 ( build.log | root.log )
python3-devel
3.13.2-2.fc43
3.13.3-1.fc43
1
perl-libs
4:5.40.1-515.fc42
4:5.40.2-517.fc43
2
python3-libs
3.13.2-2.fc43
3.13.3-1.fc43
2
perl-interpreter
4:5.40.1-515.fc42
4:5.40.2-517.fc43
2
python3
3.13.2-2.fc43
3.13.3-1.fc43
2
perl-POSIX
2.20-515.fc42
2.20-517.fc43
2
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
3
grep
3.11-10.fc42
3.12-1.fc43
3
glibc-devel
2.41.9000-9.fc43
2.41.9000-10.fc43
3
perl-Fcntl
1.18-515.fc42
1.18-517.fc43
3
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
3
perl-overload
1.37-515.fc42
1.37-517.fc43
3
perl-locale
1.12-515.fc42
1.12-517.fc43
3
perl-base
2.27-515.fc42
2.27-517.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
3
perl-DynaLoader
1.56-515.fc42
1.56-517.fc43
3
perl-vars
1.05-515.fc42
1.05-517.fc43
4
perl-overloading
0.02-515.fc42
0.02-517.fc43
4
perl-Errno
1.38-515.fc42
1.38-517.fc43
4
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
4
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
4
perl-File-Basename
2.86-515.fc42
2.86-517.fc43
4
perl-Getopt-Std
1.14-515.fc42
1.14-517.fc43
4
perl-mro
1.29-515.fc42
1.29-517.fc43
4
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
4
kernel-headers
6.14.0-63.fc43
6.15.0-0.rc2.22.fc43
4
perl-AutoLoader
5.74-515.fc42
5.74-517.fc43
B
perl-IPC-Open3
1.22-515.fc42
1.22-517.fc43
B
perl-SelectSaver
1.02-515.fc42
1.02-517.fc43
B
perl-File-stat
1.14-515.fc42
1.14-517.fc43
B
fedora-release
43-0.12
43-0.13
B
perl-IO
1.55-515.fc42
1.55-517.fc43
B
fedora-release-common
43-0.12
43-0.13
B
fedora-release-identity-basic
43-0.12
43-0.13
B
perl-Class-Struct
0.68-515.fc42
0.68-517.fc43
B
perl-Symbol
1.09-515.fc42
1.09-517.fc43
B
perl-if
0.61.000-515.fc42
0.61.000-517.fc43
B
perl-B
1.89-515.fc42
1.89-517.fc43
B
perl-FileHandle
2.05-515.fc42
2.05-517.fc43
B
complete
131405024
2025-04-11 14:09:10
aarch64
├131405100 ( build.log | root.log )
ppc64le
├131405099 ( build.log | root.log )
x86_64
└131405098 ( build.log | root.log )
python3-setuptools
76.1.0-1.fc43
78.1.0-1.fc43
1
gcc-c++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
1
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
glibc
2.41.9000-7.fc43
2.41.9000-9.fc43
2
libquadmath-devel
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
libstdc++-devel
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
redhat-rpm-config
342-2.fc42
343-3.fc43
3
libffi
3.4.7-3.fc43
3.4.7-4.fc43
3
cpp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
vim-filesystem
2:9.1.1275-1.fc43
2:9.1.1291-1.fc43
3
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
libquadmath
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-devel
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-common
2.41.9000-7.fc43
2.41.9000-9.fc43
3
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
3
diffutils
3.11-3.fc43
3.12-1.fc43
3
coreutils
9.6-2.fc43
9.7-1.fc43
3
debugedit
5.1-5.fc43
5.1-6.fc43
3
glib2
2.84.0-1.fc43
2.84.1-1.fc43
4
coreutils-common
9.6-2.fc43
9.7-1.fc43
4
perl-Scalar-List-Utils
5:1.68-2.fc42
5:1.69-1.fc43
4
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
4
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
4
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
systemd-libs
257.4-3.fc43
257.5-2.fc43
4
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
libgfortran
15.0.1-0.11.fc43
15.0.1-0.12.fc43
B
fedora-release-common
43-0.10
43-0.12
B
fedora-release
43-0.10
43-0.12
B
harfbuzz
11.0.0-1.fc43
11.0.1-2.fc43
B
fontconfig
2.16.1-1.fc43
2.16.2-1.fc43
B
fedora-release-identity-basic
43-0.10
43-0.12
B
complete
131100356
2025-04-04 13:10:49
aarch64
├131100601 ( build.log | root.log )
ppc64le
├131100600 ( build.log | root.log )
x86_64
└131100599 ( build.log | root.log )
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
expat
2.7.0-1.fc43
2.7.1-1.fc43
2
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
2
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
2
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-7.fc43
3
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
3
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
gawk
5.3.1-1.fc42
5.3.2-1.fc43
3
perl-Pod-Usage
4:2.04-1.fc43
4:2.05-1.fc43
3
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
3
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
3
vim-filesystem
2:9.1.1227-1.fc43
2:9.1.1275-1.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
4
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
4
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
4
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
fedora-release-common
43-0.8
43-0.10
B
fedora-release
43-0.8
43-0.10
B
fedora-release-identity-basic
43-0.8
43-0.10
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