picosat

Package information

State
ok

Scheduler parameters

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

Historical builds

gcc
14.1.1-5.fc40
14.1.1-6.fc40
1
cpp
14.1.1-5.fc40
14.1.1-6.fc40
2
libgomp
14.1.1-5.fc40
14.1.1-6.fc40
2
gcc-gfortran
14.1.1-5.fc40
14.1.1-6.fc40
2
libgcc
14.1.1-5.fc40
14.1.1-6.fc40
2
gcc-c++
14.1.1-5.fc40
14.1.1-6.fc40
2
glib2
2.80.2-1.fc40
2.80.3-1.fc40
3
libstdc++-devel
14.1.1-5.fc40
14.1.1-6.fc40
3
annobin-plugin-gcc
12.51-1.fc40
12.57-1.fc40
3
libquadmath
14.1.1-5.fc40
14.1.1-6.fc40
3
gcc-plugin-annobin
14.1.1-5.fc40
14.1.1-6.fc40
3
libquadmath-devel
14.1.1-5.fc40
14.1.1-6.fc40
3
kernel-headers
6.8.3-300.fc40
6.9.4-200.fc40
3
libgfortran
14.1.1-5.fc40
14.1.1-6.fc40
3
pango
1.52.2-1.fc40
1.54.0-1.fc40
3
libstdc++
14.1.1-5.fc40
14.1.1-6.fc40
3
annobin-docs
12.51-1.fc40
12.57-1.fc40
4
fribidi
1.0.13-4.fc40
1.0.14-2.fc40
4
libxml2-devel
2.12.7-1.fc40
2.12.8-1.fc40
B
glib2-devel
2.80.2-1.fc40
2.80.3-1.fc40
B
libxml2
2.12.7-1.fc40
2.12.8-1.fc40
B
gcc
14.1.1-4.fc40
14.1.1-5.fc40
1
glibc
2.39-13.fc40
2.39-15.fc40
2
zlib-ng-compat
2.1.6-2.fc40
2.1.6-5.fc40
2
cpp
14.1.1-4.fc40
14.1.1-5.fc40
2
libgcc
14.1.1-4.fc40
14.1.1-5.fc40
2
libgomp
14.1.1-4.fc40
14.1.1-5.fc40
2
gcc-c++
14.1.1-4.fc40
14.1.1-5.fc40
2
flexiblas-devel
3.4.2-1.fc40
3.4.4-1.fc40
2
zlib-ng-compat-devel
2.1.6-2.fc40
2.1.6-5.fc40
2
gcc-gfortran
14.1.1-4.fc40
14.1.1-5.fc40
2
glibc-devel
2.39-13.fc40
2.39-15.fc40
2
libgfortran
14.1.1-4.fc40
14.1.1-5.fc40
3
libquadmath-devel
14.1.1-4.fc40
14.1.1-5.fc40
3
xorg-x11-proto-devel
2024.1-1.fc40
2024.1-2.fc40
3
flexiblas-netlib64
3.4.2-1.fc40
3.4.4-1.fc40
3
qt5-srpm-macros
5.15.13-1.fc40
5.15.14-1.fc40
3
flexiblas-netlib
3.4.2-1.fc40
3.4.4-1.fc40
3
libstdc++-devel
14.1.1-4.fc40
14.1.1-5.fc40
3
glibc-gconv-extra
2.39-13.fc40
2.39-15.fc40
3
libquadmath
14.1.1-4.fc40
14.1.1-5.fc40
3
glibc-minimal-langpack
2.39-13.fc40
2.39-15.fc40
3
glibc-common
2.39-13.fc40
2.39-15.fc40
3
libstdc++
14.1.1-4.fc40
14.1.1-5.fc40
3
gcc-plugin-annobin
14.1.1-4.fc40
14.1.1-5.fc40
3
glibc-headers-x86
2.39-13.fc40
2.39-15.fc40
3
flexiblas
3.4.2-1.fc40
3.4.4-1.fc40
3
fontconfig
2.15.0-4.fc40
2.15.0-6.fc40
4
flexiblas-openblas-openmp
3.4.2-1.fc40
3.4.4-1.fc40
4
libarchive
3.7.2-3.fc40
3.7.2-4.fc40
4
flexiblas-openblas-openmp64
3.4.2-1.fc40
3.4.4-1.fc40
4
fontconfig-devel
2.15.0-4.fc40
2.15.0-6.fc40
4
pam-libs
1.6.1-1.fc40
1.6.1-3.fc40
B
shadow-utils
2:4.15.1-2.fc40
2:4.15.1-3.fc40
B
libeconf
0.6.2-1.fc40
0.6.2-2.fc40
B
pam
1.6.1-1.fc40
1.6.1-3.fc40
B
gcc
14.1.1-1.fc40
14.1.1-4.fc40
1
mpfr
4.2.1-3.fc40
4.2.1-4.fc40
2
glibc
2.39-8.fc40
2.39-13.fc40
2
libgomp
14.1.1-1.fc40
14.1.1-4.fc40
2
glibc-devel
2.39-8.fc40
2.39-13.fc40
2
gcc-gfortran
14.1.1-1.fc40
14.1.1-4.fc40
2
libgcc
14.1.1-1.fc40
14.1.1-4.fc40
2
gcc-c++
14.1.1-1.fc40
14.1.1-4.fc40
2
cpp
14.1.1-1.fc40
14.1.1-4.fc40
2
glibc-minimal-langpack
2.39-8.fc40
2.39-13.fc40
3
rust-srpm-macros
26.2-1.fc40
26.3-1.fc40
3
glibc-common
2.39-8.fc40
2.39-13.fc40
3
libquadmath-devel
14.1.1-1.fc40
14.1.1-4.fc40
3
libstdc++-devel
14.1.1-1.fc40
14.1.1-4.fc40
3
alternatives
1.26-3.fc40
1.27-1.fc40
3
glibc-headers-x86
2.39-8.fc40
2.39-13.fc40
3
qt6-srpm-macros
6.7.0-1.fc40
6.7.1-1.fc40
3
gcc-plugin-annobin
14.1.1-1.fc40
14.1.1-4.fc40
3
libquadmath
14.1.1-1.fc40
14.1.1-4.fc40
3
libgfortran
14.1.1-1.fc40
14.1.1-4.fc40
3
libstdc++
14.1.1-1.fc40
14.1.1-4.fc40
3
glibc-gconv-extra
2.39-8.fc40
2.39-13.fc40
3
harfbuzz
8.3.0-5.fc40
8.4.0-1.fc40
4
rpm-sequoia
1.6.0-2.fc40
1.6.0-3.fc40
B
libXext-devel
1.3.6-1.fc40
B
crypto-policies
20240201-2.git9f501f3....
20240510-1.gitd287a42....
B
libxml2-devel
2.12.6-1.fc40
2.12.7-1.fc40
B
fedora-gpg-keys
40-1
40-2
B
pam-libs
1.6.0-2.fc40
1.6.1-1.fc40
B
cairo-devel
1.18.0-3.fc40
B
pam
1.6.0-2.fc40
1.6.1-1.fc40
B
fedora-repos
40-1
40-2
B
gdb-minimal
14.2-1.fc40
14.2-2.fc40
B
libxml2
2.12.6-1.fc40
2.12.7-1.fc40
B
harfbuzz-icu
8.3.0-5.fc40
8.4.0-1.fc40
B
systemd-libs
255.6-1.fc40
255.7-1.fc40
B
harfbuzz-devel
8.3.0-5.fc40
8.4.0-1.fc40
B
pixman-devel
0.43.4-1.fc40
B
2024-05-28 03:52:07
Package dependencies resolved successfuly