picosat

Package information

State
ok

Scheduler parameters

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

Most recent builds

glibc-devel
2.41.9000-13.fc43
2.41.9000-14.fc43
2
glibc
2.41.9000-13.fc43
2.41.9000-14.fc43
2
glibc-gconv-extra
2.41.9000-13.fc43
2.41.9000-14.fc43
3
glibc-minimal-langpack
2.41.9000-13.fc43
2.41.9000-14.fc43
3
coreutils
9.7-2.fc43
9.7-3.fc43
3
glibc-common
2.41.9000-13.fc43
2.41.9000-14.fc43
3
kernel-headers
6.15.0-0.rc7.57.fc43
6.15.0-61.fc43
3
fonts-srpm-macros
1:2.0.5-21.fc42
1:2.0.5-22.fc43
3
libcurl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
3
qt5-srpm-macros
5.15.16-1.fc43
5.15.17-1.fc43
3
systemd-libs
257.5-5.fc43
257.6-1.fc43
4
gnupg2
2.4.8-1.fc43
2.4.8-2.fc43
4
curl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
4
coreutils-common
9.7-2.fc43
9.7-3.fc43
4
libselinux
3.8-1.fc42
3.8-2.fc43
4
fedora-release-common
43-0.15
43-0.16
B
fedora-release-identity-basic
43-0.15
43-0.16
B
p11-kit-trust
0.25.5-5.fc42
0.25.5-8.fc43
B
fonts-filesystem
1:2.0.5-21.fc42
1:2.0.5-22.fc43
B
gnupg2-gpg-agent
2.4.8-2.fc43
B
gnupg2-dirmngr
2.4.8-2.fc43
B
gnupg2-gpgconf
2.4.8-2.fc43
B
gnupg2-keyboxd
2.4.8-2.fc43
B
gnupg2-verify
2.4.8-2.fc43
B
fedora-release
43-0.15
43-0.16
B
systemd-standalone-sysusers
257.5-5.fc43
257.6-1.fc43
B
p11-kit
0.25.5-5.fc42
0.25.5-8.fc43
B
audit-libs
4.0.3-2.fc42
4.0.4-1.fc43
B
failed
2025-05-23 08:16:47
gcc
15.1.1-1.fc43
15.1.1-2.fc43
1
cpp
15.1.1-1.fc43
15.1.1-2.fc43
2
gcc-gfortran
15.1.1-1.fc43
15.1.1-2.fc43
2
libgcc
15.1.1-1.fc43
15.1.1-2.fc43
2
gcc-c++
15.1.1-1.fc43
15.1.1-2.fc43
2
libgomp
15.1.1-1.fc43
15.1.1-2.fc43
2
coreutils
9.7-1.fc43
9.7-2.fc43
3
libstdc++
15.1.1-1.fc43
15.1.1-2.fc43
3
libquadmath
15.1.1-1.fc43
15.1.1-2.fc43
3
gcc-plugin-annobin
15.1.1-1.fc43
15.1.1-2.fc43
3
libstdc++-devel
15.1.1-1.fc43
15.1.1-2.fc43
3
libgfortran
15.1.1-1.fc43
15.1.1-2.fc43
3
annobin-plugin-gcc
12.94-1.fc43
12.95-1.fc43
3
libquadmath-devel
15.1.1-1.fc43
15.1.1-2.fc43
3
kernel-headers
6.15.0-0.rc6.49.fc43
6.15.0-0.rc7.57.fc43
3
less
668-2.fc42
678-1.fc43
3
glib2
2.84.1-1.fc43
2.85.0-1.fc43
3
annobin-docs
12.94-1.fc43
12.95-1.fc43
4
gnupg2
2.4.7-3.fc43
2.4.8-1.fc43
4
coreutils-common
9.7-1.fc43
9.7-2.fc43
4
sqlite-libs
3.49.1-1.fc43
3.49.2-1.fc43
B
glibc
2.41.9000-12.fc43
2.41.9000-13.fc43
2
redhat-rpm-config
343-4.fc43
343-5.fc43
2
glibc-devel
2.41.9000-12.fc43
2.41.9000-13.fc43
2
libdeflate-devel
1.23-2.fc42
1.24-1.fc43
2
alternatives
1.32-1.fc43
1.33-1.fc43
3
glibc-gconv-extra
2.41.9000-12.fc43
2.41.9000-13.fc43
3
glibc-minimal-langpack
2.41.9000-12.fc43
2.41.9000-13.fc43
3
filesystem-srpm-macros
3.18-41.fc43
3.18-44.fc43
3
rpm
5.99.90-4.fc43
5.99.90-5.fc43
3
kernel-headers
6.15.0-0.rc5.42.fc43
6.15.0-0.rc6.49.fc43
3
glibc-common
2.41.9000-12.fc43
2.41.9000-13.fc43
3
filesystem
3.18-41.fc43
3.18-44.fc43
3
libdeflate
1.23-2.fc42
1.24-1.fc43
3
annobin-plugin-gcc
12.93-1.fc43
12.94-1.fc43
3
elfutils-debuginfod-client
0.192-8.fc42
0.193-2.fc43
3
gpgverify
2.1-3.fc43
3
setup
2.15.0-23.fc43
2.15.0-25.fc43
4
elfutils-libs
0.192-8.fc42
0.193-2.fc43
4
rpm-build
5.99.90-4.fc43
5.99.90-5.fc43
4
rpm-libs
5.99.90-4.fc43
5.99.90-5.fc43
4
harfbuzz
11.2.0-1.fc43
11.2.1-1.fc43
4
elfutils-libelf
0.192-8.fc42
0.193-2.fc43
4
annobin-docs
12.93-1.fc43
12.94-1.fc43
4
google-noto-sans-vf-fonts
20250401-1.fc43
20250501-1.fc43
B
rpm-sign-libs
5.99.90-4.fc43
5.99.90-5.fc43
B
libgcrypt
1.11.0-5.fc42
1.11.1-1.fc43
B
rpm-build-libs
5.99.90-4.fc43
5.99.90-5.fc43
B
elfutils-default-yama-scope
0.192-8.fc42
0.193-2.fc43
B
elfutils
0.192-8.fc42
0.193-2.fc43
B
google-noto-fonts-common
20250401-1.fc43
20250501-1.fc43
B
glibc-devel
2.41.9000-11.fc43
2.41.9000-12.fc43
2
glibc
2.41.9000-11.fc43
2.41.9000-12.fc43
2
filesystem-srpm-macros
3.18-40.fc43
3.18-41.fc43
3
filesystem
3.18-40.fc43
3.18-41.fc43
3
rpm
5.99.90-3.fc43
5.99.90-4.fc43
3
glibc-minimal-langpack
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
libpng
2:1.6.47-1.fc43
2:1.6.48-1.fc43
3
glibc-common
2.41.9000-11.fc43
2.41.9000-12.fc43
3
kernel-headers
6.15.0-0.rc2.22.fc43
6.15.0-0.rc5.42.fc43
3
libcurl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
3
libffi
3.4.7-4.fc43
3.4.8-1.fc43
4
rpm-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
curl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
4
systemd-libs
257.5-2.fc43
257.5-5.fc43
4
harfbuzz
11.1.0-1.fc43
11.2.0-1.fc43
4
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
4
fedora-repos
43-0.1
43-0.2
B
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
diffutils
3.12-1.fc43
3.12-2.fc43
B
sqlite-libs
3.49.0-1.fc43
3.49.1-1.fc43
B
fedora-repos-rawhide
43-0.1
43-0.2
B
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
fedora-gpg-keys
43-0.1
43-0.2
B
systemd-standalone-sysusers
257.5-2.fc43
257.5-5.fc43
B
gcc
15.0.1-0.14.fc43
15.1.1-1.fc43
1
glibc
2.41.9000-10.fc43
2.41.9000-11.fc43
2
gcc-c++
15.0.1-0.14.fc43
15.1.1-1.fc43
2
redhat-rpm-config
343-3.fc43
343-4.fc43
2
gcc-gfortran
15.0.1-0.14.fc43
15.1.1-1.fc43
2
cpp
15.0.1-0.14.fc43
15.1.1-1.fc43
2
glibc-devel
2.41.9000-10.fc43
2.41.9000-11.fc43
2
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
2
libgcc
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-devel
15.0.1-0.14.fc43
15.1.1-1.fc43
3
libstdc++
15.0.1-0.14.fc43
15.1.1-1.fc43
3
libstdc++-devel
15.0.1-0.14.fc43
15.1.1-1.fc43
3
libgfortran
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
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
tree-sitter-srpm-macros
0.2.2-1.fc43
0.2.4-1.fc43
3
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-11.fc43
3
fedora-release
43-0.13
43-0.15
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
fedora-release-common
43-0.13
43-0.15
B
fedora-release-identity-basic
43-0.13
43-0.15
B
gdb-minimal
16.2-3.fc43
16.3-1.fc43
B
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
1
R-core-devel
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
1
libRmath-devel
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
2
libgomp
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
cpp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
gcc-c++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
gcc-gfortran
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
libzstd-devel
1.5.7-1.fc43
2
R-core
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
2
libquadmath
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libRmath
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
3
libgfortran
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libquadmath-devel
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libstdc++-devel
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
tzdata
2025b-1.fc43
3
Real build: picosat-965-26.fc43
R-core-devel
4.4.3-1.fc43
4.5.0-1.fc43~bootstrap
1
R-core
4.4.3-1.fc43
4.5.0-1.fc43~bootstrap
2
libRmath-devel
4.4.3-1.fc43
4.5.0-1.fc43~bootstrap
2
libRmath
4.4.3-1.fc43
4.5.0-1.fc43~bootstrap
3
google-noto-sans-vf-fonts
20250301-1.fc43
20250401-1.fc43
B
google-noto-fonts-common
20250301-1.fc43
20250401-1.fc43
B
Real build: picosat-965-24.fc43
glibc-devel
2.41.9000-9.fc43
2.41.9000-10.fc43
2
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
3
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
3
grep
3.11-10.fc42
3.12-1.fc43
3
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
3
kernel-headers
6.14.0-63.fc43
6.15.0-0.rc2.22.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
rpm
4.20.1-3.fc43
5.99.90-3.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
3
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
3
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
3
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
4
harfbuzz
11.0.1-2.fc43
11.1.0-1.fc43
4
libcap
2.73-2.fc42
2.76-1.fc43
4
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
4
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
4
rpm-sign-libs
5.99.90-3.fc43
B
libgcrypt
1.11.0-5.fc42
B
npth
1.8-2.fc42
B
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
B
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
gnupg2
2.4.7-3.fc43
B
fedora-release-identity-basic
43-0.12
43-0.13
B
libassuan
2.5.7-3.fc42
B
ima-evm-utils-libs
1.6.2-5.fc43
B
fedora-release
43-0.12
43-0.13
B
libksba
1.6.7-3.fc42
B
libfsverity
1.6-2.fc42
B
fedora-release-common
43-0.12
43-0.13
B
libusb1
1.0.28-2.fc43
B
libgpg-error
1.54-1.fc43
B
tpm2-tss
4.1.3-7.fc43
B
Previous history