why3

Package information

State
ok

Scheduler parameters

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

fedora-release-common
38-36
38-37
B
hwdata
0.381-1.fc38
0.382-1.fc38
B
fedora-release-identity-basic
38-36
38-37
B
fedora-release
38-36
38-37
B

Groups

This package is not part of any global group.

Most recent builds

javascriptcoregtk4.1
2.44.0-2.fc38
2.44.1-2.fc38
2
python3
3.11.8-2.fc38
3.11.9-2.fc38
2
webkit2gtk4.1
2.44.0-2.fc38
2.44.1-2.fc38
2
gstreamer1-plugins-base
1.22.9-1.fc38
1.22.11-1.fc38
3
python3-idna
3.4-2.fc38
3.7-1.fc38
3
python3-libs
3.11.8-2.fc38
3.11.9-2.fc38
3
gstreamer1
1.22.9-1.fc38
1.22.11-1.fc38
3
gstreamer1-plugins-bad-free-libs
1.22.9-1.fc38
1.22.11-1.fc38
3
libmanette
0.2.6-6.fc38
0.2.7-1.fc38
3
forge-srpm-macros
0.2.0-3.fc38
0.3.1-1.fc38
3
python-pip-wheel
22.3.1-3.fc38
22.3.1-4.fc38
4
2024-05-16 03:38:12
Package dependencies resolved successfuly
2024-05-15 22:09:06
Package dependencies resolved successfuly
latexmk
4.84-1.fc38
4.85-1.fc38
1
gnutls
3.8.4-1.fc38
3.8.5-1.fc38
2
urw-base35-fonts
20200910-16.fc38
20200910-20.fc38
2
glibc
2.37-18.fc38
2.37-19.fc38
2
libX11
1.8.7-1.fc38
1.8.9-1.fc38
2
urw-base35-bookman-fonts
20200910-16.fc38
20200910-20.fc38
3
urw-base35-fonts-common
20200910-16.fc38
20200910-20.fc38
3
urw-base35-nimbus-mono-ps-fonts
20200910-16.fc38
20200910-20.fc38
3
urw-base35-nimbus-sans-fonts
20200910-16.fc38
20200910-20.fc38
3
glibc-gconv-extra
2.37-18.fc38
2.37-19.fc38
3
glibc-common
2.37-18.fc38
2.37-19.fc38
3
urw-base35-standard-symbols-ps-fonts
20200910-16.fc38
20200910-20.fc38
3
urw-base35-d050000l-fonts
20200910-16.fc38
20200910-20.fc38
3
libX11-common
1.8.7-1.fc38
1.8.9-1.fc38
3
urw-base35-gothic-fonts
20200910-16.fc38
20200910-20.fc38
3
glibc-devel
2.37-18.fc38
2.37-19.fc38
3
urw-base35-z003-fonts
20200910-16.fc38
20200910-20.fc38
3
cups-libs
1:2.4.7-11.fc38
1:2.4.7-13.fc38
3
urw-base35-c059-fonts
20200910-16.fc38
20200910-20.fc38
3
glibc-minimal-langpack
2.37-18.fc38
2.37-19.fc38
3
urw-base35-p052-fonts
20200910-16.fc38
20200910-20.fc38
3
libnghttp2
1.52.0-2.fc38
1.52.0-3.fc38
3
urw-base35-nimbus-roman-fonts
20200910-16.fc38
20200910-20.fc38
3
libX11-devel
1.8.7-1.fc38
1.8.9-1.fc38
4
libX11-xcb
1.8.7-1.fc38
1.8.9-1.fc38
4
glibc-headers-x86
2.37-18.fc38
2.37-19.fc38
4
libeconf
0.5.2-1.fc38
0.5.2-2.fc38
B
hwdata
0.380-1.fc38
0.381-1.fc38
B
emacs
1:28.3-0.rc1.fc38
1:29.3-1.fc38
1
latexmk
4.83-1.fc38
4.84-1.fc38
1
javascriptcoregtk4.1
2.42.5-1.fc38
2.44.0-2.fc38
2
emacs-common
1:28.3-0.rc1.fc38
1:29.3-1.fc38
2
libtree-sitter
0.20.8-2.fc38
2
webkit2gtk4.1
2.42.5-1.fc38
2.44.0-2.fc38
2
gnutls
3.8.3-1.fc38
3.8.4-1.fc38
2
go-srpm-macros
3.4.0-2.fc38
3.5.0-1.fc38
3
libzstd
1.5.5-1.fc38
1.5.6-1.fc38
3
emacs-filesystem
1:28.3-0.rc1.fc38
1:29.3-1.fc38
3
nss
3.98.0-1.fc38
3.99.0-1.fc38
4
libaom
3.8.0-1.fc38
3.8.2-1.fc38
4
nspr
4.35.0-16.fc38
4.35.0-17.fc38
4
libtirpc
1.3.4-0.rc2.fc38
1.3.4-1.rc3.fc38
4
kernel-headers
6.7.3-100.fc38
6.8.3-100.fc38
4
libwpe
1.14.2-1.fc38
nss-softokn
3.98.0-1.fc38
3.99.0-1.fc38
B
zstd
1.5.5-1.fc38
1.5.6-1.fc38
B
nss-sysinit
3.98.0-1.fc38
3.99.0-1.fc38
B
wpebackend-fdo
1.14.2-1.fc38
nss-util
3.98.0-1.fc38
3.99.0-1.fc38
B
nss-softokn-freebl
3.98.0-1.fc38
3.99.0-1.fc38
B
perl-Module-CoreList
1:5.20240223-1.fc38
1:5.20240320-1.fc38
B
redhat-rpm-config
255-1.fc38
257-1.fc38
2
systemd-libs
253.15-2.fc38
253.17-1.fc38
2
python3
3.11.8-1.fc38
3.11.8-2.fc38
2
libgccjit
13.2.1-4.fc38
13.2.1-7.fc38
2
python3-pygments
2.14.0-1.fc38
2.14.0-2.fc38
2
libstdc++
13.2.1-4.fc38
13.2.1-7.fc38
2
gcc
13.2.1-4.fc38
13.2.1-7.fc38
2
ncurses-libs
6.4-7.20230520.fc38
6.4-7.20230520.fc...
2
libgcc
13.2.1-4.fc38
13.2.1-7.fc38
2
cpp
13.2.1-4.fc38
13.2.1-7.fc38
3
libgomp
13.2.1-4.fc38
13.2.1-7.fc38
3
ncurses-base
6.4-7.20230520.fc38
6.4-7.20230520.fc...
3
forge-srpm-macros
0.2.0-3.fc38
3
qt5-srpm-macros
5.15.11-1.fc38
5.15.12-1.fc38
3
libatomic
13.2.1-4.fc38
13.2.1-7.fc38
3
python3-libs
3.11.8-1.fc38
3.11.8-2.fc38
3
rust-srpm-macros
26.1-1.fc38
26.2-1.fc38
3
gcc-plugin-annobin
13.2.1-4.fc38
13.2.1-7.fc38
3
openjpeg2
2.5.0-5.fc38
2.5.2-1.fc38
3
keyutils-libs
1.6.1-6.fc38
1.6.3-1.fc38
4
elfutils-libelf
0.190-2.fc38
0.191-1.fc38
4
elfutils-libs
0.190-2.fc38
0.191-1.fc38
4
highway
1.0.7-1.fc38
1.1.0-1.fc38
4
elfutils-debuginfod-client
0.190-2.fc38
0.191-1.fc38
4
libusb1
1.0.26-2.fc38
1.0.27-1.fc38
B
elfutils
0.190-2.fc38
0.191-1.fc38
B
ncurses
6.4-7.20230520.fc38
6.4-7.20230520.fc...
B
hwdata
0.379-1.fc38
0.380-1.fc38
B
elfutils-default-yama-scope
0.190-2.fc38
0.191-1.fc38
B
libgfortran
13.2.1-4.fc38
13.2.1-7.fc38
B
libquadmath
13.2.1-4.fc38
13.2.1-7.fc38
B
giflib
5.2.1-17.fc38
5.2.2-1.fc38
2
appstream-data
38-7.fc38
38-8.fc38
2
python3
3.11.7-2.fc38
3.11.8-1.fc38
2
expat
2.5.0-2.fc38
2.6.0-1.fc38
2
fontconfig
2.14.2-1.fc38
2.14.2-2.fc38
2
libcurl
8.0.1-6.fc38
8.0.1-7.fc38
2
python3-libs
3.11.7-2.fc38
3.11.8-1.fc38
3
rust-srpm-macros
25.2-2.fc38
26.1-1.fc38
3
cups-libs
1:2.4.7-5.fc38
1:2.4.7-11.fc38
3
annobin-plugin-gcc
12.38-1.fc38
12.40-1.fc38
3
go-srpm-macros
3.3.1-1.fc38
3.4.0-2.fc38
3
lua-srpm-macros
1-8.fc38
1-13.fc38
3
rpmautospec-rpm-macros
0.3.8-1.fc38
0.6.3-1.fc38
3
annobin-docs
12.38-1.fc38
12.40-1.fc38
4
nss
3.96.1-1.fc38
3.98.0-1.fc38
4
curl
8.0.1-6.fc38
8.0.1-7.fc38
4
nspr
4.35.0-14.fc38
4.35.0-16.fc38
4
fontconfig-devel
2.14.2-1.fc38
2.14.2-2.fc38
4
rav1e-libs
0.6.6-4.fc38
0.7.1-1.fc38
4
flexiblas-netlib
3.4.1-1.fc38
3.4.2-1.fc38
4
flexiblas-openblas-openmp
3.4.1-1.fc38
3.4.2-1.fc38
B
perl-Module-CoreList
1:5.20240129-1.fc38
1:5.20240223-1.fc38
B
nss-util
3.96.1-1.fc38
3.98.0-1.fc38
B
gdb-minimal
13.2-7.fc38
14.1-3.fc38
B
nss-softokn-freebl
3.96.1-1.fc38
3.98.0-1.fc38
B
nss-softokn
3.96.1-1.fc38
3.98.0-1.fc38
B
hwdata
0.378-1.fc38
0.379-1.fc38
B
perl-DateTime-TimeZone
2.61-1.fc38
2.62-1.fc38
B
flexiblas
3.4.1-1.fc38
3.4.2-1.fc38
B
nss-sysinit
3.96.1-1.fc38
3.98.0-1.fc38
B
latexmk
4.82a-1.fc38
4.83-1.fc38
1
gtk3
3.24.38-1.fc38
3.24.41-1.fc38
2
javascriptcoregtk4.1
2.42.3-1.fc38
2.42.5-1.fc38
2
gnutls
3.8.2-2.fc38
3.8.3-1.fc38
2
webkit2gtk4.1
2.42.3-1.fc38
2.42.5-1.fc38
2
alsa-lib
1.2.10-2.fc38
1.2.11-2.fc38
2
libidn2
2.3.4-2.fc38
2.3.7-1.fc38
3
tzdata
2023d-1.fc38
2024a-1.fc38
3
libwpe
1.14.0-2.fc38
1.14.2-1.fc38
3
readline
8.2-3.fc38
8.2-4.fc38
3
gtk3-devel
3.24.38-1.fc38
3.24.41-1.fc38
3
gtk-update-icon-cache
3.24.38-1.fc38
3.24.41-1.fc38
3
annobin-plugin-gcc
12.30-1.fc38
12.38-1.fc38
3
pyproject-srpm-macros
1.11.0-1.fc38
1.12.0-1.fc38
3
python3-pytz
2023.3.post1-1.fc38
2024.1-1.fc38
3
annobin-docs
12.30-1.fc38
12.38-1.fc38
4
audit-libs
3.1.2-6.fc38
3.1.2-8.fc38
4
kernel-headers
6.6.3-100.fc38
6.7.3-100.fc38
4
rpm-sequoia
1.5.0-2.fc38
1.6.0-1.fc38
B
perl-Module-CoreList
1:5.20231230-1.fc38
1:5.20240129-1.fc38
B
perl-IPC-Run3
0.048-28.fc38
0.049-1.fc38
B
Previous history