picosat

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
1576
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.41.9000-11.fc43
2.41.9000-12.fc43
2
glibc-devel
2.41.9000-11.fc43
2.41.9000-12.fc43
2
rpm
5.99.90-3.fc43
5.99.90-4.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
glibc-gconv-extra
2.41.9000-11.fc43
2.41.9000-12.fc43
3
glibc-common
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
libpng
2:1.6.47-1.fc43
2:1.6.48-1.fc43
3
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
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
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
fedora-repos-rawhide
43-0.1
43-0.2
B
fedora-repos
43-0.1
43-0.2
B
fedora-gpg-keys
43-0.1
43-0.2
B
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
diffutils
3.12-1.fc43
3.12-2.fc43
B

Most recent builds

gcc
15.0.1-0.14.fc43
15.1.1-1.fc43
1
glibc-devel
2.41.9000-10.fc43
2.41.9000-11.fc43
2
cpp
15.0.1-0.14.fc43
15.1.1-1.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
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
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
2
gcc-gfortran
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
gdb-minimal
16.2-3.fc43
16.3-1.fc43
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
fedora-release-identity-basic
43-0.13
43-0.15
B
fedora-release-common
43-0.13
43-0.15
B
fedora-release
43-0.13
43-0.15
B
R-core-devel
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
1
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
1
gcc-gfortran
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
cpp
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
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
libRmath-devel
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
2
R-core
4.5.0-1.fc43~bootstrap
4.5.0-3.fc43~bootstrap
2
libzstd-devel
1.5.7-1.fc43
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
libRmath-devel
4.4.3-1.fc43
4.5.0-1.fc43~bootstrap
2
R-core
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-fonts-common
20250301-1.fc43
20250401-1.fc43
B
google-noto-sans-vf-fonts
20250301-1.fc43
20250401-1.fc43
B
Real build: picosat-965-24.fc43
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
glibc-devel
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-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.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-libs
4.20.1-3.fc43
5.99.90-3.fc43
4
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
4
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
harfbuzz
11.0.1-2.fc43
11.1.0-1.fc43
4
libgcrypt
1.11.0-5.fc42
B
rpm-sign-libs
5.99.90-3.fc43
B
fedora-release-common
43-0.12
43-0.13
B
fedora-release
43-0.12
43-0.13
B
fedora-release-identity-basic
43-0.12
43-0.13
B
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
B
libksba
1.6.7-3.fc42
B
libfsverity
1.6-2.fc42
B
libusb1
1.0.28-2.fc43
B
libgpg-error
1.54-1.fc43
B
tpm2-tss
4.1.3-7.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
libassuan
2.5.7-3.fc42
B
gnupg2
2.4.7-3.fc43
B
npth
1.8-2.fc42
B
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
1
gcc-gfortran
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
glibc-devel
2.41.9000-7.fc43
2.41.9000-9.fc43
2
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
gcc-c++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
cpp
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
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
3
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
libgfortran
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
libstdc++-devel
15.0.1-0.11.fc43
15.0.1-0.12.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
libquadmath-devel
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
coreutils
9.6-2.fc43
9.7-1.fc43
3
coreutils-common
9.6-2.fc43
9.7-1.fc43
4
harfbuzz
11.0.0-1.fc43
11.0.1-2.fc43
4
fontconfig
2.16.1-1.fc43
2.16.2-1.fc43
4
systemd-libs
257.4-3.fc43
257.5-2.fc43
4
fedora-release-identity-basic
43-0.10
43-0.12
B
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
B
fedora-release-common
43-0.10
43-0.12
B
fedora-release
43-0.10
43-0.12
B
diffutils
3.11-3.fc43
3.12-1.fc43
B
debugedit
5.1-5.fc43
5.1-6.fc43
B
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
2
redhat-rpm-config
342-2.fc42
343-3.fc43
2
xz-devel
1:5.8.0-1.fc43
1:5.8.1-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
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
libxcrypt-devel
4.4.38-6.fc43
4.4.38-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
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
glib2
2.84.0-1.fc43
2.84.1-1.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
3
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
3
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
3
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
4
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
4
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
4
libffi
3.4.7-3.fc43
3.4.7-4.fc43
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
B
fedora-release
43-0.8
43-0.10
B
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
B
fedora-release-common
43-0.8
43-0.10
B
fedora-release-identity-basic
43-0.8
43-0.10
B
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
B
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
1
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
gcc-gfortran
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
xz-devel
1:5.6.3-3.fc42
1:5.8.0-1.fc43
2
gcc-c++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
3
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
3
libgfortran
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libcurl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
3
libquadmath-devel
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
3
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libstdc++-devel
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libquadmath
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
curl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
4
libffi
3.4.7-2.fc43
3.4.7-3.fc43
4
openssl-libs
1:3.5.0-1.fc43
1:3.5.0-2.fc43
4
openldap
2.6.9-3.fc42
2.6.9-5.fc43
4
gdb-minimal
16.2-1.fc43
16.2-3.fc43
B
patch
2.7.6-26.fc42
2.8-1.fc43
B
diffutils
3.10-9.fc42
3.11-3.fc43
B
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
2
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
2
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
3
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
3
cmake-filesystem
4.0.0~rc4-1.fc43
3.31.6-2.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-63.fc43
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
python-srpm-macros
3.13-4.fc42
3.13-5.fc43
3
pango
1.56.2-1.fc43
1.56.3-1.fc43
3
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
libcurl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
3
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
3
curl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
4
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-1.fc43
4
harfbuzz
10.4.0-1.fc43
11.0.0-1.fc43
4
annobin-docs
12.92-1.fc43
12.93-1.fc43
4
setup
2.15.0-14.fc43
2.15.0-23.fc43
4
desktop-file-utils
0.27-3.fc42
0.28-1.fc43
4
fedora-release
43-0.7
43-0.8
B
fedora-release-identity-basic
43-0.7
43-0.8
B
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
B
fedora-release-common
43-0.7
43-0.8
B
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
B
Previous history