picosat

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
874
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-20.fc42
2.40.9000-21.fc42
2
glibc-devel
2.40.9000-20.fc42
2.40.9000-21.fc42
2
go-srpm-macros
3.6.0-3.fc41
3.6.0-5.fc42
3
glibc-gconv-extra
2.40.9000-20.fc42
2.40.9000-21.fc42
3
glibc-minimal-langpack
2.40.9000-20.fc42
2.40.9000-21.fc42
3
glibc-common
2.40.9000-20.fc42
2.40.9000-21.fc42
3
crypto-policies
20241126-1.gitbb3f7dc....
20241128-1.gitbb7b0b0....
B
ca-certificates
2024.2.69_v8.0.401-2.fc42
2024.2.69_v8.0.401-3.fc42
B
debugedit
5.1-1.fc42
5.1-2.fc42
B

Historical builds

gcc
14.1.1-6.fc41
14.1.1-7.fc41
1
libgomp
14.1.1-6.fc41
14.1.1-7.fc41
2
libgcc
14.1.1-6.fc41
14.1.1-7.fc41
2
gcc-gfortran
14.1.1-6.fc41
14.1.1-7.fc41
2
gcc-c++
14.1.1-6.fc41
14.1.1-7.fc41
2
cpp
14.1.1-6.fc41
14.1.1-7.fc41
2
build-reproducibility-srpm-macros
0.3.1-1.fc41
0.3.3-1.fc41
3
libquadmath
14.1.1-6.fc41
14.1.1-7.fc41
3
kernel-headers
6.10.0-0.rc5.43.fc41
6.10.0-0.rc6.50.fc41
3
annobin-plugin-gcc
12.59-1.fc41
12.60-1.fc41
3
gc
8.2.2-6.fc40
8.2.6-1.fc41
3
libquadmath-devel
14.1.1-6.fc41
14.1.1-7.fc41
3
gcc-plugin-annobin
14.1.1-6.fc41
14.1.1-7.fc41
3
libstdc++
14.1.1-6.fc41
14.1.1-7.fc41
3
libgfortran
14.1.1-6.fc41
14.1.1-7.fc41
3
libstdc++-devel
14.1.1-6.fc41
14.1.1-7.fc41
3
libarchive
3.7.4-1.fc41
3.7.4-2.fc41
4
add-determinism
0.3.1-1.fc41
0.3.3-1.fc41
4
gnutls
3.8.5-5.fc41
3.8.5-6.fc41
4
libcap
2.70-1.fc41
2.70-2.fc41
4
annobin-docs
12.59-1.fc41
12.60-1.fc41
4
openssl-libs
1:3.2.2-1.fc41
1:3.2.2-3.fc41
4
libselinux
3.6-6.fc41
3.7-1.fc41
4
authselect
1.5.0-5.fc41
1.5.0-6.fc41
B
pam
1.6.1-3.fc41
1.6.1-4.fc41
B
libsepol
3.6-3.fc40
3.7-1.fc41
B
python3-libs
3.13.0~b2-4.fc41
3.13.0~b3-2.fc41
B
authselect-libs
1.5.0-5.fc41
1.5.0-6.fc41
B
python-pip-wheel
24.0-5.fc41
24.1.1-1.fc41
B
libselinux-devel
3.6-6.fc41
3.7-1.fc41
B
libsemanage
3.6-4.fc41
3.7-1.fc41
B
libsepol-devel
3.6-3.fc40
3.7-1.fc41
B
pam-libs
1.6.1-3.fc41
1.6.1-4.fc41
B
gdb-minimal
14.2-12.fc41
14.2-13.fc41
B
python3
3.13.0~b2-4.fc41
3.13.0~b3-2.fc41
B
crypto-policies
20240521-1.gitf71d135....
20240628-1.gitddd11d3....
B
libicu-devel
74.2-1.fc40
74.2-1.fc41
2
pcre2-devel
10.43-2.fc41.1
10.44-1.fc41
2
zlib-ng-compat
2.1.6-6.fc41
2.1.7-1.fc41
2
zlib-ng-compat-devel
2.1.6-6.fc41
2.1.7-1.fc41
2
kernel-headers
6.10.0-0.rc4.38.fc41
6.10.0-0.rc5.43.fc41
3
pcre2-utf16
10.43-2.fc41.1
10.44-1.fc41
3
ca-certificates
2023.2.62_v7.0.401-6.fc40
2024.2.68_v8.0.302-2.fc41
3
libnghttp2
1.62.0-1.fc41
1.62.1-1.fc41
3
pyproject-srpm-macros
1.12.1-1.fc41
1.12.2-1.fc41
3
python-srpm-macros
3.13-1.fc41
3.13-2.fc41
3
libicu
74.2-1.fc40
74.2-1.fc41
3
rpm
4.19.91-13.fc41
4.19.92-1.fc41
3
pcre2-utf32
10.43-2.fc41.1
10.44-1.fc41
3
pcre2
10.43-2.fc41.1
10.44-1.fc41
3
alternatives
1.27-1.fc41
1.28-1.fc41
3
pcre2-syntax
10.43-2.fc41.1
10.44-1.fc41
4
rpm-libs
4.19.91-13.fc41
4.19.92-1.fc41
4
libcom_err
1.47.0-5.fc40
1.47.1-1.fc41
4
openldap
2.6.8-2.fc41
2.6.8-3.fc41
4
rpm-build
4.19.91-13.fc41
4.19.92-1.fc41
4
fedora-release-identity-basic
41-0.13
41-0.14
B
python3-libs
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
B
default-fonts-core-sans
4.0-14.fc41
4.1-1.fc41
B
fedora-release
41-0.13
41-0.14
B
fedora-release-common
41-0.13
41-0.14
B
rpm-build-libs
4.19.91-13.fc41
4.19.92-1.fc41
B
python3
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
B
gcc
14.1.1-5.fc41
14.1.1-6.fc41
1
R-core-devel
4.4.0-1.fc41~bootstrap
4.4.1-1.fc41
1
gcc-c++
14.1.1-5.fc41
14.1.1-6.fc41
2
libgomp
14.1.1-5.fc41
14.1.1-6.fc41
2
xz-devel
1:5.4.6-3.fc41
1:5.6.2-1.fc41
2
cpp
14.1.1-5.fc41
14.1.1-6.fc41
2
libRmath-devel
4.4.0-1.fc41~bootstrap
4.4.1-1.fc41
2
gcc-gfortran
14.1.1-5.fc41
14.1.1-6.fc41
2
R-core
4.4.0-1.fc41~bootstrap
4.4.1-1.fc41
2
libgcc
14.1.1-5.fc41
14.1.1-6.fc41
2
libquadmath-devel
14.1.1-5.fc41
14.1.1-6.fc41
3
gcc-plugin-annobin
14.1.1-5.fc41
14.1.1-6.fc41
3
libRmath
4.4.0-1.fc41~bootstrap
4.4.1-1.fc41
3
glib2
2.80.2-1.fc41
2.80.3-1.fc41
3
libquadmath
14.1.1-5.fc41
14.1.1-6.fc41
3
xz-libs
1:5.4.6-3.fc41
1:5.6.2-1.fc41
3
libgfortran
14.1.1-5.fc41
14.1.1-6.fc41
3
libstdc++-devel
14.1.1-5.fc41
14.1.1-6.fc41
3
build-reproducibility-srpm-macros
0.3.0-1.fc41
0.3.1-1.fc41
3
kernel-headers
6.10.0-0.rc3.31.fc41
6.10.0-0.rc4.38.fc41
3
fonts-srpm-macros
1:2.0.5-15.fc41
1:2.0.5-16.fc41
3
libstdc++
14.1.1-5.fc41
14.1.1-6.fc41
3
harfbuzz
8.4.0-1.fc41
8.5.0-1.fc41
4
gnutls
3.8.5-2.fc41
3.8.5-5.fc41
4
add-determinism
0.3.0-1.fc41
0.3.1-1.fc41
4
xz
1:5.4.6-3.fc41
1:5.6.2-1.fc41
B
systemd-libs
256-1.fc41
256.1-3.fc41
B
default-fonts-core-sans
4.0-13.fc41
4.0-14.fc41
B
sqlite-libs
3.46.0-1.fc41
3.46.0-2.fc41
B
cyrus-sasl-lib
2.1.28-22.fc41
2.1.28-24.fc41
B
gdb-minimal
14.2-11.fc41
14.2-12.fc41
B
nettle
3.9.1-6.fc40
3.10-2.fc41
B
harfbuzz-devel
8.4.0-1.fc41
8.5.0-1.fc41
B
fonts-filesystem
1:2.0.5-15.fc41
1:2.0.5-16.fc41
B
harfbuzz-icu
8.4.0-1.fc41
8.5.0-1.fc41
B
xml-common
0.6.3-63.fc40
0.6.3-64.fc41
B
glib2-devel
2.80.2-1.fc41
2.80.3-1.fc41
B
glibc-devel
2.39.9000-18.fc41
2.39.9000-26.fc41
2
glibc
2.39.9000-18.fc41
2.39.9000-26.fc41
2
redhat-rpm-config
292-1.fc41
293-1.fc41
2
tre-devel
0.8.0-43.20140228gi...
0.8.0-44.20140228gi...
2
glibc-headers-x86
2.39.9000-18.fc41
2.39.9000-26.fc41
3
glibc-common
2.39.9000-18.fc41
2.39.9000-26.fc41
3
glibc-gconv-extra
2.39.9000-18.fc41
2.39.9000-26.fc41
3
build-reproducibility-srpm-macros
0.2.0-9.fc41
0.3.0-1.fc41
3
kernel-headers
6.10.0-0.rc2.24.fc41
6.10.0-0.rc3.31.fc41
3
tre
0.8.0-43.20140228gi...
0.8.0-44.20140228gi...
3
rpm
4.19.91-8.fc41
4.19.91-13.fc41
3
pango
1.52.2-1.fc41
1.54.0-1.fc41
3
annobin-plugin-gcc
12.54-2.fc41
12.59-1.fc41
3
perl-srpm-macros
1-53.fc40
1-55.fc41
3
file
5.45-5.fc41
5.45-6.fc41
3
glibc-minimal-langpack
2.39.9000-18.fc41
2.39.9000-26.fc41
3
python-srpm-macros
3.12-9.fc41
3.13-1.fc41
3
openldap
2.6.8-1.fc41
2.6.8-2.fc41
4
annobin-docs
12.54-2.fc41
12.59-1.fc41
4
file-libs
5.45-5.fc41
5.45-6.fc41
4
rpm-build
4.19.91-8.fc41
4.19.91-13.fc41
4
add-determinism
0.2.0-9.fc41
0.3.0-1.fc41
4
tre-common
0.8.0-43.20140228gi...
0.8.0-44.20140228gi...
4
fribidi
1.0.14-2.fc41
1.0.15-1.fc41
4
libselinux
3.6-4.fc40
3.6-6.fc41
4
libmount
2.40.1-1.fc41
2.40.1-2.fc41
4
rpm-libs
4.19.91-8.fc41
4.19.91-13.fc41
4
libbrotli
1.1.0-3.fc40
1.1.0-4.fc41
4
libcap-ng
0.8.5-1.fc41
0.8.5-2.fc41
B
libsmartcols
2.40.1-1.fc41
2.40.1-2.fc41
B
libblkid-devel
2.40.1-1.fc41
2.40.1-2.fc41
B
rpm-build-libs
4.19.91-8.fc41
4.19.91-13.fc41
B
python3-libs
3.12.3-2.fc41
3.13.0~b2-3.fc41
B
libfdisk
2.40.1-1.fc41
2.40.1-2.fc41
B
libsemanage
3.6-3.fc40
3.6-4.fc41
B
libselinux-devel
3.6-4.fc40
3.6-6.fc41
B
systemd-libs
256~rc4-2.fc41
256-1.fc41
B
libxml2-devel
2.12.7-1.fc41
2.12.8-1.fc41
B
libmount-devel
2.40.1-1.fc41
2.40.1-2.fc41
B
cmake-filesystem
3.28.3-5.fc41
3.28.3-6.fc41
B
libxml2
2.12.7-1.fc41
2.12.8-1.fc41
B
google-noto-sans-vf-fonts
20240401-1.fc41
20240601-1.fc41
B
util-linux-core
2.40.1-1.fc41
2.40.1-2.fc41
B
libpwquality
1.4.5-9.fc40
1.4.5-10.fc41
B
util-linux
2.40.1-1.fc41
2.40.1-2.fc41
B
python3-packaging
24.0-1.fc41
24.1-1.fc41
B
brotli-devel
1.1.0-3.fc40
1.1.0-4.fc41
B
libuuid
2.40.1-1.fc41
2.40.1-2.fc41
B
gdb-minimal
14.2-9.fc41
14.2-11.fc41
B
python-pip-wheel
24.0-2.fc41
24.0-5.fc41
B
google-noto-fonts-common
20240401-1.fc41
20240601-1.fc41
B
audit-libs
4.0.1-2.fc41
4.0.1-3.fc41
B
add-determinism-nopython
0.2.0-9.fc41
python3
3.12.3-2.fc41
3.13.0~b2-3.fc41
B
brotli
1.1.0-3.fc40
1.1.0-4.fc41
B
libblkid
2.40.1-1.fc41
2.40.1-2.fc41
B
2024-06-12 08:55:53
Package dependencies resolved successfuly
2024-06-12 08:49:00
Package resolution failed
  • Problem: package libXft-devel-2.3.8-6.fc40.x86_64 from primary-f41-build-6163033 requires pkgconfig(freetype2), but none of the providers can be installed
    - package freetype-devel-2.13.2-5.fc40.x86_64 from primary-f41-build-6163033 requires pkgconfig(harfbuzz) >= 2.0.0, but none of the providers can be installed
    - package tk-devel-1:8.6.14-1.fc41.x86_64 from primary-f41-build-6163033 requires libXft-devel, but none of the providers can be installed
    - package harfbuzz-devel-8.4.0-1.fc41.x86_64 from primary-f41-build-6163033 requires pkgconfig(glib-2.0) >= 2.30, but none of the providers can be installed
    - package harfbuzz-devel-8.4.0-1.fc41.x86_64 from primary-f41-build-6163033 requires pkgconfig(gobject-2.0), but none of the providers can be installed
    - package R-core-devel-4.4.0-1.fc41~bootstrap.x86_64 from primary-f41-build-6163033 requires tk-devel, but none of the providers can be installed
    - package glib2-devel-2.80.2-1.fc41.x86_64 from primary-f41-build-6163033 requires python3-packaging, but none of the providers can be installed
    - conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-packaging-24.0-3.fc41.noarch from primary-f41-build-6163033
gcc
14.1.1-4.fc41
14.1.1-5.fc41
1
cpp
14.1.1-4.fc41
14.1.1-5.fc41
2
libgomp
14.1.1-4.fc41
14.1.1-5.fc41
2
gcc-gfortran
14.1.1-4.fc41
14.1.1-5.fc41
2
binutils
2.42.50-11.fc41
2.42.50-14.fc41
2
libgcc
14.1.1-4.fc41
14.1.1-5.fc41
2
gcc-c++
14.1.1-4.fc41
14.1.1-5.fc41
2
libquadmath
14.1.1-4.fc41
14.1.1-5.fc41
3
libstdc++
14.1.1-4.fc41
14.1.1-5.fc41
3
gcc-plugin-annobin
14.1.1-4.fc41
14.1.1-5.fc41
3
libstdc++-devel
14.1.1-4.fc41
14.1.1-5.fc41
3
libquadmath-devel
14.1.1-4.fc41
14.1.1-5.fc41
3
rpm
4.19.91-7.fc41
4.19.91-8.fc41
3
fonts-srpm-macros
1:2.0.5-14.fc40
1:2.0.5-15.fc41
3
libgfortran
14.1.1-4.fc41
14.1.1-5.fc41
3
openssl-libs
1:3.2.1-6.fc41
1:3.2.2-1.fc41
4
setup
2.15.0-3.fc41
2.15.0-4.fc41
4
fontconfig
2.15.0-5.fc41
2.15.0-6.fc41
4
fontconfig-devel
2.15.0-5.fc41
2.15.0-6.fc41
4
fribidi
1.0.14-1.fc41
1.0.14-2.fc41
4
rpm-libs
4.19.91-7.fc41
4.19.91-8.fc41
4
rpm-build
4.19.91-7.fc41
4.19.91-8.fc41
4
cmake-filesystem
3.28.3-4.fc41
3.28.3-5.fc41
B
binutils-gold
2.42.50-11.fc41
fonts-filesystem
1:2.0.5-14.fc40
1:2.0.5-15.fc41
B
sqlite-libs
3.45.3-1.fc41
3.46.0-1.fc41
B
rpm-build-libs
4.19.91-7.fc41
4.19.91-8.fc41
B
systemd-libs
256~rc3-4.fc41
256~rc4-2.fc41
B
zlib-ng-compat-devel
2.1.6-3.fc41
2.1.6-6.fc41
2
redhat-rpm-config
290-1.fc41
292-1.fc41
2
zlib-ng-compat
2.1.6-3.fc41
2.1.6-6.fc41
2
flexiblas-devel
3.4.2-1.fc41
3.4.4-1.fc41
2
coreutils
9.5-1.fc41
9.5-2.fc41
3
ocaml-srpm-macros
9-3.fc40
10-2.fc41
3
flexiblas-netlib
3.4.2-1.fc41
3.4.4-1.fc41
3
flexiblas-netlib64
3.4.2-1.fc41
3.4.4-1.fc41
3
rpm
4.19.1.1-2.fc41
4.19.91-7.fc41
3
pyproject-srpm-macros
1.12.0-1.fc40
1.12.1-1.fc41
3
qt5-srpm-macros
5.15.13-1.fc41
5.15.14-1.fc41
3
findutils
1:4.9.0-8.fc40
1:4.10.0-2.fc41
3
kernel-headers
6.9.0-64.fc41
6.10.0-0.rc2.24.fc41
3
xorg-x11-proto-devel
2024.1-1.fc41
2024.1-2.fc41
3
flexiblas
3.4.2-1.fc41
3.4.4-1.fc41
3
coreutils-common
9.5-1.fc41
9.5-2.fc41
4
setup
2.14.5-2.fc40
2.15.0-3.fc41
4
rpm-build
4.19.1.1-2.fc41
4.19.91-7.fc41
4
flexiblas-openblas-openmp
3.4.2-1.fc41
3.4.4-1.fc41
4
flexiblas-openblas-openmp64
3.4.2-1.fc41
3.4.4-1.fc41
4
openldap
2.6.7-1.fc40
2.6.8-1.fc41
4
rpm-libs
4.19.1.1-2.fc41
4.19.91-7.fc41
4
fedora-release
41-0.10
41-0.13
B
fedora-release-common
41-0.10
41-0.13
B
libtool-ltdl
2.4.7-10.fc40
2.4.7-11.fc41
B
systemd-libs
256~rc3-1.fc41
256~rc3-4.fc41
B
tzdata
2024a-7.fc41
2024a-8.fc41
B
gdb-minimal
14.2-7.fc41
14.2-9.fc41
B
fedora-release-identity-basic
41-0.10
41-0.13
B
pam
1.6.1-1.fc41
1.6.1-3.fc41
B
pam-libs
1.6.1-1.fc41
1.6.1-3.fc41
B
rpm-build-libs
4.19.1.1-2.fc41
4.19.91-7.fc41
B
Previous history