picosat

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
2177
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-18.fc42
2.40.9000-20.fc42
2
glibc-devel
2.40.9000-18.fc42
2.40.9000-20.fc42
2
binutils
2.43.50-8.fc42
2.43.50-9.fc42
2
tcl-devel
1:8.6.15-2.fc42
1:8.6.15-4.fc42
2
libxcrypt-devel
4.4.36-10.fc42
4.4.36-11.fc42
3
tcl
1:8.6.15-2.fc42
1:8.6.15-4.fc42
3
glibc-gconv-extra
2.40.9000-18.fc42
2.40.9000-20.fc42
3
cairo
1.18.0-4.fc41
1.18.2-1.fc42
3
glib2
2.83.0-1.fc42
2.83.0-2.fc42
3
unzip
6.0-64.fc41
6.0-65.fc42
3
efi-srpm-macros
5-12.fc41
5-13.fc42
3
file
5.45-7.fc41
5.45-8.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
libxcrypt
4.4.36-10.fc42
4.4.36-11.fc42
4
systemd-libs
257~rc2-2.fc42
257~rc3-1.fc42
4
libselinux
3.7-6.fc42
3.7-7.fc42
4
file-libs
5.45-7.fc41
5.45-8.fc42
4
libselinux-devel
3.7-6.fc42
3.7-7.fc42
B
cairo-devel
1.18.0-4.fc41
1.18.2-1.fc42
B
libsepol
3.7-3.fc42
3.7-4.fc42
B
crypto-policies
20241106-1.git35892de....
20241126-1.gitbb3f7dc....
B
glib2-devel
2.83.0-1.fc42
2.83.0-2.fc42
B
libsemanage
3.7-3.fc42
3.7-4.fc42
B
libsepol-devel
3.7-3.fc42
3.7-4.fc42
B
pam-libs
1.7.0-2.fc42
1.7.0-3.fc42
B
pam
1.7.0-2.fc42
1.7.0-3.fc42
B

Historical builds

gcc
14.2.1-3.fc42
14.2.1-4.fc42
1
libgcc
14.2.1-3.fc42
14.2.1-4.fc42
2
gcc-c++
14.2.1-3.fc42
14.2.1-4.fc42
2
redhat-rpm-config
295-1.fc42
296-1.fc42
2
cpp
14.2.1-3.fc42
14.2.1-4.fc42
2
gcc-gfortran
14.2.1-3.fc42
14.2.1-4.fc42
2
libgomp
14.2.1-3.fc42
14.2.1-4.fc42
2
glib2
2.82.0-1.fc42
2.82.1-2.fc42
3
libstdc++-devel
14.2.1-3.fc42
14.2.1-4.fc42
3
gcc-plugin-annobin
14.2.1-3.fc42
14.2.1-4.fc42
3
coreutils
9.5-9.fc42
9.5-10.fc42
3
libquadmath
14.2.1-3.fc42
14.2.1-4.fc42
3
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
3
libjpeg-turbo
3.0.2-3.fc41
3.0.4-1.fc42
3
filesystem
3.18-23.fc41
3.18-29.fc42
3
libcurl
8.10.0-1.fc42
8.10.1-2.fc42
3
kernel-headers
6.11.0-0.rc7.56.fc42
6.11.0-63.fc42
3
libgfortran
14.2.1-3.fc42
14.2.1-4.fc42
3
libpng
2:1.6.40-4.fc41
2:1.6.44-1.fc42
3
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
3
libstdc++
14.2.1-3.fc42
14.2.1-4.fc42
3
libquadmath-devel
14.2.1-3.fc42
14.2.1-4.fc42
3
curl
8.10.0-1.fc42
8.10.1-2.fc42
4
harfbuzz
9.0.0-3.fc42
10.0.1-1.fc42
4
fribidi
1.0.15-2.fc41
1.0.16-1.fc42
4
libarchive
3.7.4-3.fc41
3.7.6-1.fc42
4
coreutils-common
9.5-9.fc42
9.5-10.fc42
4
python3
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
B
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
B
python-pip-wheel
24.2-1.fc41
24.2-2.fc42
B
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-1.fc42
B
glib2-devel
2.82.0-1.fc42
2.82.1-2.fc42
B
shadow-utils
2:4.16.0-3.fc42
2:4.16.0-4.fc42
B
sysprof-capture-devel
47~beta-1.fc41
47.0-1.fc42
B
harfbuzz-devel
9.0.0-3.fc42
10.0.1-1.fc42
B
harfbuzz-cairo
9.0.0-3.fc42
10.0.1-1.fc42
B
fedora-repos-rawhide
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
B
fedora-repos
42-0.1
42-0.2
B
libpng-devel
2:1.6.40-4.fc41
2:1.6.44-1.fc42
B
harfbuzz-icu
9.0.0-3.fc42
10.0.1-1.fc42
B
gcc
14.2.1-2.fc42
14.2.1-3.fc42
1
libgcc
14.2.1-2.fc42
14.2.1-3.fc42
2
gcc-gfortran
14.2.1-2.fc42
14.2.1-3.fc42
2
gcc-c++
14.2.1-2.fc42
14.2.1-3.fc42
2
libgomp
14.2.1-2.fc42
14.2.1-3.fc42
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
cpp
14.2.1-2.fc42
14.2.1-3.fc42
2
zlib-ng-compat-devel
2.1.7-2.fc41
2.1.7-3.fc42
2
rpm
4.19.93-1.fc42
4.19.94-1.fc42
3
libgfortran
14.2.1-2.fc42
14.2.1-3.fc42
3
gcc-plugin-annobin
14.2.1-2.fc42
14.2.1-3.fc42
3
libquadmath
14.2.1-2.fc42
14.2.1-3.fc42
3
libstdc++
14.2.1-2.fc42
14.2.1-3.fc42
3
libquadmath-devel
14.2.1-2.fc42
14.2.1-3.fc42
3
libstdc++-devel
14.2.1-2.fc42
14.2.1-3.fc42
3
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
3
libselinux
3.7-5.fc41
3.7-6.fc42
4
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
4
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
curl
8.9.1-3.fc42
8.10.0-1.fc42
4
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
4
gnutls
3.8.7-2.fc42
3.8.7-4.fc42
4
libselinux-devel
3.7-5.fc41
3.7-6.fc42
B
libsepol
3.7-2.fc41
3.7-3.fc42
B
shadow-utils
2:4.16.0-2.fc42
2:4.16.0-3.fc42
B
libsemanage
3.7-2.fc41
3.7-3.fc42
B
rpm-build-libs
4.19.93-1.fc42
4.19.94-1.fc42
B
libsepol-devel
3.7-2.fc41
3.7-3.fc42
B
gcc
14.2.1-1.fc42
14.2.1-2.fc42
1
gcc-c++
14.2.1-1.fc42
14.2.1-2.fc42
2
redhat-rpm-config
294-1.fc42
295-1.fc42
2
cpp
14.2.1-1.fc42
14.2.1-2.fc42
2
libgcc
14.2.1-1.fc42
14.2.1-2.fc42
2
libgomp
14.2.1-1.fc42
14.2.1-2.fc42
2
gcc-gfortran
14.2.1-1.fc42
14.2.1-2.fc42
2
libstdc++
14.2.1-1.fc42
14.2.1-2.fc42
3
kernel-headers
6.11.0-0.rc6.49.fc42
6.11.0-0.rc7.56.fc42
3
libquadmath
14.2.1-1.fc42
14.2.1-2.fc42
3
libquadmath-devel
14.2.1-1.fc42
14.2.1-2.fc42
3
gcc-plugin-annobin
14.2.1-1.fc42
14.2.1-2.fc42
3
libgfortran
14.2.1-1.fc42
14.2.1-2.fc42
3
libstdc++-devel
14.2.1-1.fc42
14.2.1-2.fc42
3
gdb-minimal
15.1-1.fc41
15.1-2.fc42
B
info
7.1-3.fc41
7.1.1-1.fc42
B
shadow-utils
2:4.15.1-9.fc41
2:4.16.0-2.fc42
B
python3
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
B
python3-libs
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
B
glibc
2.40-3.fc41
2.40.9000-1.fc42
2
glibc-devel
2.40-3.fc41
2.40.9000-1.fc42
2
bash
5.2.32-1.fc41
5.2.32-2.fc42
2
qt5-srpm-macros
5.15.14-3.fc41
5.15.15-1.fc42
3
libcurl
8.9.1-2.fc41
8.9.1-3.fc42
3
glibc-common
2.40-3.fc41
2.40.9000-1.fc42
3
coreutils
9.5-8.fc42
9.5-9.fc42
3
readline
8.2-10.fc41
8.2-11.fc42
3
glib2
2.81.2-2.fc42
2.82.0-1.fc42
3
kernel-headers
6.11.0-0.rc5.43.fc42
6.11.0-0.rc6.49.fc42
3
rpm
4.19.92-6.fc41
4.19.93-1.fc42
3
glibc-minimal-langpack
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-gconv-extra
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-headers-x86
2.40-3.fc41
2.40.9000-1.fc42
3
libssh
0.10.6-8.fc41
0.11.1-1.fc42
4
libmount
2.40.2-6.fc42
2.40.2-8.fc42
4
curl
8.9.1-2.fc41
8.9.1-3.fc42
4
libnghttp2
1.62.1-2.fc41
1.63.0-1.fc42
4
coreutils-common
9.5-8.fc42
9.5-9.fc42
4
rpm-build
4.19.92-6.fc41
4.19.93-1.fc42
4
rpm-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
rpm-build-libs
4.19.92-6.fc41
4.19.93-1.fc42
B
util-linux
2.40.2-6.fc42
2.40.2-8.fc42
B
libblkid-devel
2.40.2-6.fc42
2.40.2-8.fc42
B
libfdisk
2.40.2-6.fc42
2.40.2-8.fc42
B
pam
1.6.1-5.fc41
1.6.1-6.fc42
B
python3
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
B
glib2-devel
2.81.2-2.fc42
2.82.0-1.fc42
B
google-noto-fonts-common
20240701-2.fc41
20240901-1.fc42
B
libsmartcols
2.40.2-6.fc42
2.40.2-8.fc42
B
python3-libs
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
B
crypto-policies
20240822-1.git64c9381....
20240828-1.git5f66e81....
B
google-noto-sans-vf-fonts
20240701-2.fc41
20240901-1.fc42
B
libmount-devel
2.40.2-6.fc42
2.40.2-8.fc42
B
expat
2.6.2-2.fc41
2.6.3-1.fc42
B
libblkid
2.40.2-6.fc42
2.40.2-8.fc42
B
pam-libs
1.6.1-5.fc41
1.6.1-6.fc42
B
libssh-config
0.10.6-8.fc41
0.11.1-1.fc42
B
libuuid
2.40.2-6.fc42
2.40.2-8.fc42
B
util-linux-core
2.40.2-6.fc42
2.40.2-8.fc42
B
libutempter
1.2.1-15.fc41
gcc
14.1.1-7.fc41
14.2.1-1.fc42
1
gcc-c++
14.1.1-7.fc41
14.2.1-1.fc42
2
libgomp
14.1.1-7.fc41
14.2.1-1.fc42
2
libgcc
14.1.1-7.fc41
14.2.1-1.fc42
2
cpp
14.1.1-7.fc41
14.2.1-1.fc42
2
gcc-gfortran
14.1.1-7.fc41
14.2.1-1.fc42
2
libX11-devel
1.8.10-1.fc41
1.8.10-2.fc42
2
libgfortran
14.1.1-7.fc41
14.2.1-1.fc42
3
libquadmath-devel
14.1.1-7.fc41
14.2.1-1.fc42
3
libquadmath
14.1.1-7.fc41
14.2.1-1.fc42
3
libX11
1.8.10-1.fc41
1.8.10-2.fc42
3
libX11-xcb
1.8.10-1.fc41
1.8.10-2.fc42
3
kernel-headers
6.11.0-0.rc4.37.fc42
6.11.0-0.rc5.43.fc42
3
gcc-plugin-annobin
14.1.1-7.fc41
14.2.1-1.fc42
3
libstdc++-devel
14.1.1-7.fc41
14.2.1-1.fc42
3
libstdc++
14.1.1-7.fc41
14.2.1-1.fc42
3
libX11-common
1.8.10-1.fc41
1.8.10-2.fc42
4
libmount
2.40.2-4.fc41
2.40.2-6.fc42
4
crypto-policies
20240807-1.git5795660....
20240822-1.git64c9381....
B
libmount-devel
2.40.2-4.fc41
2.40.2-6.fc42
B
libuuid
2.40.2-4.fc41
2.40.2-6.fc42
B
libblkid-devel
2.40.2-4.fc41
2.40.2-6.fc42
B
util-linux-core
2.40.2-4.fc41
2.40.2-6.fc42
B
libsmartcols
2.40.2-4.fc41
2.40.2-6.fc42
B
libblkid
2.40.2-4.fc41
2.40.2-6.fc42
B
libfdisk
2.40.2-4.fc41
2.40.2-6.fc42
B
util-linux
2.40.2-4.fc41
2.40.2-6.fc42
B
pkgconf-pkg-config
2.1.1-2.fc41
2.3.0-1.fc42
2
binutils
2.42.90-1.fc41
2.43.1-1.fc42
2
bash
5.2.26-4.fc41
5.2.32-1.fc41
2
redhat-rpm-config
293-1.fc41
294-1.fc42
2
less
661-1.fc41
661-2.fc41
3
rust-srpm-macros
26.3-1.fc41
26.3-3.fc42
3
pkgconf-m4
2.1.1-2.fc41
2.3.0-1.fc42
3
kernel-headers
6.11.0-0.rc2.23.fc41
6.11.0-0.rc4.37.fc42
3
coreutils
9.5-7.fc41
9.5-8.fc42
3
glib2
2.81.1-1.fc41
2.81.2-2.fc42
3
annobin-plugin-gcc
12.67-1.fc41
12.70-1.fc42
3
readline
8.2-9.fc41
8.2-10.fc41
3
pkgconf
2.1.1-2.fc41
2.3.0-1.fc42
3
libtiff
4.6.0-5.fc41
4.6.0-6.fc42
3
annobin-docs
12.67-1.fc41
12.70-1.fc42
4
systemd-libs
256.4-1.fc41
256.5-1.fc42
4
gnutls
3.8.6-7.fc41
3.8.7-2.fc42
4
libffi
3.4.6-2.fc41
3.4.6-3.fc42
4
libpkgconf
2.1.1-2.fc41
2.3.0-1.fc42
4
coreutils-common
9.5-7.fc41
9.5-8.fc42
4
harfbuzz
9.0.0-2.fc41
9.0.0-3.fc42
4
fedora-release
41-0.20
42-0.3
B
harfbuzz-cairo
9.0.0-3.fc42
B
fedora-repos-rawhide
41-0.2
42-0.1
B
fedora-gpg-keys
41-0.2
42-0.1
B
fedora-release-identity-basic
41-0.20
42-0.3
B
default-fonts-core-sans
4.1-2.fc41
4.1-3.fc42
B
libffi-devel
3.4.6-2.fc41
3.4.6-3.fc42
B
harfbuzz-devel
9.0.0-2.fc41
9.0.0-3.fc42
B
harfbuzz-icu
9.0.0-2.fc41
9.0.0-3.fc42
B
glib2-devel
2.81.1-1.fc41
2.81.2-2.fc42
B
fedora-repos
41-0.2
42-0.1
B
fedora-release-common
41-0.20
42-0.3
B
flexiblas-devel
3.4.4-2.fc41
3.4.4-3.fc41
2
libdeflate-devel
1.20-7.fc41
1.21-2.fc41
2
alternatives
1.29-1.fc41
1.30-1.fc41
3
glib2
2.81.0-1.fc41
2.81.1-1.fc41
3
libdeflate
1.20-7.fc41
1.21-2.fc41
3
flexiblas
3.4.4-2.fc41
3.4.4-3.fc41
3
forge-srpm-macros
0.3.1-2.fc41
0.3.2-1.fc41
3
flexiblas-netlib
3.4.4-2.fc41
3.4.4-3.fc41
3
libcurl
8.9.1-1.fc41
8.9.1-2.fc41
3
flexiblas-netlib64
3.4.4-2.fc41
3.4.4-3.fc41
3
annobin-plugin-gcc
12.65-1.fc41
12.67-1.fc41
3
kernel-headers
6.11.0-0.rc1.dc1c803...
6.11.0-0.rc2.23.fc41
3
flexiblas-openblas-openmp
3.4.4-2.fc41
3.4.4-3.fc41
4
libwebp
1.4.0-3.fc41
1.4.0-4.fc41
4
annobin-docs
12.65-1.fc41
12.67-1.fc41
4
flexiblas-openblas-openmp64
3.4.4-2.fc41
3.4.4-3.fc41
4
curl
8.9.1-1.fc41
8.9.1-2.fc41
4
audit-libs
4.0.1-4.fc41
4.0.2-1.fc41
B
python-pip-wheel
24.1.1-2.fc41
24.2-1.fc41
B
crypto-policies
20240725-2.git9555558....
20240807-1.git5795660....
B
fedora-release
41-0.17
41-0.20
B
glib2-devel
2.81.0-1.fc41
2.81.1-1.fc41
B
fedora-release-common
41-0.17
41-0.20
B
gdb-minimal
14.2-15.fc41
15.1-1.fc41
B
python3-libs
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
B
python3
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
B
sysprof-capture-devel
47~alpha-2.fc41
47~beta-1.fc41
B
sqlite-libs
3.46.0-3.fc41
3.46.0-4.fc41
B
fedora-release-identity-basic
41-0.17
41-0.20
B
glibc
2.40-2.fc41
2.40-3.fc41
2
libX11-devel
1.8.9-2.fc41
1.8.10-1.fc41
2
glibc-devel
2.40-2.fc41
2.40-3.fc41
2
libcurl
8.9.0-1.fc41
8.9.1-1.fc41
3
glibc-minimal-langpack
2.40-2.fc41
2.40-3.fc41
3
libtiff
4.6.0-4.fc41
4.6.0-5.fc41
3
glibc-headers-x86
2.40-2.fc41
2.40-3.fc41
3
glibc-common
2.40-2.fc41
2.40-3.fc41
3
glibc-gconv-extra
2.40-2.fc41
2.40-3.fc41
3
libX11
1.8.9-2.fc41
1.8.10-1.fc41
3
build-reproducibility-srpm-macros
0.3.5-1.fc41
0.3.6-1.fc41
3
libX11-xcb
1.8.9-2.fc41
1.8.10-1.fc41
3
annobin-plugin-gcc
12.64-1.fc41
12.65-1.fc41
3
alternatives
1.28-3.fc41
1.29-1.fc41
3
rpm
4.19.92-5.fc41
4.19.92-6.fc41
3
fontconfig
2.15.0-7.fc41
2.15.0-8.fc41
4
fontconfig-devel
2.15.0-7.fc41
2.15.0-8.fc41
4
rpm-libs
4.19.92-5.fc41
4.19.92-6.fc41
4
libX11-common
1.8.9-2.fc41
1.8.10-1.fc41
4
libssh
0.10.6-6.fc41
0.10.6-8.fc41
4
annobin-docs
12.64-1.fc41
12.65-1.fc41
4
add-determinism
0.3.5-1.fc41
0.3.6-1.fc41
4
curl
8.9.0-1.fc41
8.9.1-1.fc41
4
rpm-build
4.19.92-5.fc41
4.19.92-6.fc41
4
libwebp
1.4.0-2.fc41
1.4.0-3.fc41
4
fedora-release-common
41-0.16
41-0.17
B
rpm-build-libs
4.19.92-5.fc41
4.19.92-6.fc41
B
python3-libs
3.13.0~b4-2.fc41
3.13.0~rc1-1.fc41
B
libssh-config
0.10.6-6.fc41
0.10.6-8.fc41
B
diffutils
3.10-7.fc41
3.10-8.fc41
B
pam
1.6.1-4.fc41
1.6.1-5.fc41
B
fedora-release-identity-basic
41-0.16
41-0.17
B
fedora-release
41-0.16
41-0.17
B
python3
3.13.0~b4-2.fc41
3.13.0~rc1-1.fc41
B
pam-libs
1.6.1-4.fc41
1.6.1-5.fc41
B
Previous history