why3

Package information

State
ok

Scheduler parameters

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

Groups

This package is not part of any global group.

Most recent builds

ghostscript
9.53.3-5.fc34
9.54.0-1.fc35
2
libxml2
2.9.10-12.fc35
2.9.12-1.fc35
2
libgs
9.53.3-5.fc34
9.54.0-1.fc35
2
libuuid
2.36.2-3.fc35
2.37-0.1.fc35
2
annobin-plugin-gcc
9.71-1.fc35
9.72-1.fc35
3
libidn2
2.3.0-5.fc34
2.3.1-1.fc35
3
util-linux
2.36.2-3.fc35
2.37-0.1.fc35
3
cups-libs
1:2.3.3op2-5.fc35
1:2.3.3op2-7.fc35
3
libmount
2.36.2-3.fc35
2.37-0.1.fc35
3
binutils
2.36.1-9.fc35
2.36.1-10.fc35
3
binutils-gold
2.36.1-9.fc35
2.36.1-10.fc35
4
annobin-docs
9.71-1.fc35
9.72-1.fc35
4
libxml2-devel
2.9.10-12.fc35
2.9.12-1.fc35
4
libsmartcols
2.36.2-3.fc35
2.37-0.1.fc35
4
libblkid
2.36.2-3.fc35
2.37-0.1.fc35
4
libfdisk
2.36.2-3.fc35
2.37-0.1.fc35
4
libblkid-devel
2.36.2-3.fc35
2.37-0.1.fc35
B
libmount-devel
2.36.2-3.fc35
2.37-0.1.fc35
B
graphviz
2.47.1-3.fc35
2.47.1-4.fc35
1
libXfixes
5.0.3-14.fc34
6.0.0-1.fc35
2
annobin-plugin-gcc
9.70-1.fc35
9.71-1.fc35
3
m17n-db
1.8.0-12.fc34
1.8.0-13.fc35
3
python3-six
1.15.0-5.fc35
1.16.0-1.fc35
3
libimagequant
2.14.1-1.fc35
2.15.0-1.fc35
3
elfutils-libs
0.183-3.fc35
0.184-4.fc35
4
annobin-docs
9.70-1.fc35
9.71-1.fc35
4
elfutils-debuginfod-client
0.183-3.fc35
0.184-4.fc35
4
elfutils-libelf
0.183-3.fc35
0.184-4.fc35
4
kernel-headers
5.12.0-1.fc35
5.13.0-0.rc1.git0.1....
4
libXfixes-devel
5.0.3-14.fc34
6.0.0-1.fc35
4
elfutils-default-yama-scope
0.183-3.fc35
0.184-4.fc35
B
perl-HTTP-Message
6.29-1.fc35
6.31-1.fc35
B
gettext
0.21-4.fc34
0.21-5.fc35
B
gettext-libs
0.21-4.fc34
0.21-5.fc35
B
libtextstyle
0.21-4.fc34
elfutils
0.183-3.fc35
0.184-4.fc35
B
graphviz
2.47.1-1.fc35
2.47.1-3.fc35
1
python3-sphinx
1:3.5.3-1.fc35
1:3.5.4-1.fc35
1
rpm-libs
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
2
systemd-libs
248.1-1.fc35
248.2-1.fc35
2
webkit2gtk3
2.32.0-2.fc35
2.32.1-1.fc35
2
webkit2gtk3-jsc
2.32.0-2.fc35
2.32.1-1.fc35
2
ncurses-libs
6.2-6.20210501.fc35
6.2-7.20210508.fc35
2
binutils
2.36.1-8.fc35
2.36.1-9.fc35
3
rpm
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
3
ncurses-base
6.2-6.20210501.fc35
6.2-7.20210508.fc35
3
binutils-gold
2.36.1-8.fc35
2.36.1-9.fc35
4
avahi-libs
0.8-11.fc35
0.8-12.fc35
4
rpm-build
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
B
ncurses
6.2-6.20210501.fc35
6.2-7.20210508.fc35
B
perl-libwww-perl
6.53-2.fc35
6.54-1.fc35
B
systemd-pam
248.1-1.fc35
248.2-1.fc35
B
libibverbs
34.0-4.fc35
35.0-1.fc35
B
systemd-rpm-macros
248.1-1.fc35
248.2-1.fc35
B
systemd
248.1-1.fc35
248.2-1.fc35
B
iptables-legacy-libs
1.8.7-7.fc35
1.8.7-8.fc35
B
rpm-build-libs
4.16.90-0.git15395.5....
4.16.90-0.git15395.6....
B
latexmk
4.72b-1.fc35
4.73-1.fc35
1
glib2
2.68.1-2.fc35
2.68.1-3.fc35
2
python3-setuptools
56.0.0-2.fc35
56.1.0-1.fc35
2
systemd-libs
248-2.fc35
248.1-1.fc35
2
python3
3.9.4-1.fc35
3.9.5-1.fc35
2
libxml2
2.9.10-10.fc34
2.9.10-12.fc35
2
librsvg2
2.50.4-1.fc35
2.50.5-1.fc35
2
python-srpm-macros
3.9-37.fc35
3.9-38.fc35
3
adwaita-icon-theme
40.0-2.fc35
40.1.1-1.fc35
3
perl-Exporter
5.74-459.fc34
5.76-1.fc35
3
perl-Carp
1.50-458.fc34
1.52-459.fc35
3
python3-libs
3.9.4-1.fc35
3.9.5-1.fc35
3
python-setuptools-wheel
56.0.0-2.fc35
56.1.0-1.fc35
4
libxml2-devel
2.9.10-10.fc34
2.9.10-12.fc35
4
glib2-devel
2.68.1-2.fc35
2.68.1-3.fc35
4
mesa-libGL
21.0.3-2.fc35
21.1.0-1.fc35
4
mesa-libEGL
21.0.3-2.fc35
21.1.0-1.fc35
4
adwaita-cursor-theme
40.0-2.fc35
40.1.1-1.fc35
4
at-spi2-core
2.40.0-2.fc35
2.40.1-1.fc35
4
mesa-libgbm
21.0.3-2.fc35
21.1.0-1.fc35
B
at-spi2-core-devel
2.40.0-2.fc35
2.40.1-1.fc35
B
mesa-libglapi
21.0.3-2.fc35
21.1.0-1.fc35
B
systemd-pam
248-2.fc35
248.1-1.fc35
B
systemd-rpm-macros
248-2.fc35
248.1-1.fc35
B
shadow-utils
2:4.8.1-9.fc35
2:4.8.1-10.fc35
B
systemd
248-2.fc35
248.1-1.fc35
B
perl-File-Basename
2.85-474.fc35
2.85-475.fc35
2
perl-IPC-Open3
1.21-474.fc35
1.21-475.fc35
2
perl-diagnostics
1.37-474.fc35
1.37-475.fc35
2
perl-POSIX
1.94-474.fc35
1.94-475.fc35
2
ncurses-libs
6.2-5.20210306.fc35
6.2-6.20210501.fc35
2
perl-interpreter
4:5.32.1-474.fc35
4:5.32.1-475.fc35
2
perl-File-Find
1.37-474.fc35
1.37-475.fc35
2
perl-libs
4:5.32.1-474.fc35
4:5.32.1-475.fc35
2
perl-vars
1.05-474.fc35
1.05-475.fc35
2
perl-FileHandle
2.03-474.fc35
2.03-475.fc35
2
perl-File-Copy
2.34-474.fc35
2.34-475.fc35
2
perl-Getopt-Std
1.12-474.fc35
1.12-475.fc35
2
harfbuzz
2.8.0-1.fc35
2.8.1-1.fc35
2
ncurses-base
6.2-5.20210306.fc35
6.2-6.20210501.fc35
3
perl-Fcntl
1.13-474.fc35
1.13-475.fc35
3
perl-Errno
1.30-474.fc35
1.30-475.fc35
3
krb5-libs
1.19.1-3.fc35.1
1.19.1-5.fc35
3
harfbuzz-icu
2.8.0-1.fc35
2.8.1-1.fc35
3
perl-Symbol
1.08-474.fc35
1.08-475.fc35
3
perl-DynaLoader
1.47-474.fc35
1.47-475.fc35
3
efi-srpm-macros
4-6.fc34
5-2.fc35
3
perl-IO
1.43-474.fc35
1.43-475.fc35
3
perl-File-stat
1.09-474.fc35
1.09-475.fc35
4
perl-overload
1.31-474.fc35
1.31-475.fc35
4
perl-SelectSaver
1.02-474.fc35
1.02-475.fc35
4
perl-Safe
2.41-474.fc35
2.41-475.fc35
B
perl-Sys-Hostname
1.23-474.fc35
1.23-475.fc35
B
perl-I18N-Langinfo
0.19-474.fc35
0.19-475.fc35
B
perl-lib
0.65-474.fc35
0.65-475.fc35
B
perl-B
1.80-474.fc35
1.80-475.fc35
B
perl-Class-Struct
0.66-474.fc35
0.66-475.fc35
B
perl-open
1.12-474.fc35
1.12-475.fc35
B
perl-sigtrap
1.09-474.fc35
1.09-475.fc35
B
perl-overloading
0.02-474.fc35
0.02-475.fc35
B
perl-AutoLoader
5.74-474.fc35
5.74-475.fc35
B
perl-Tie
4.6-474.fc35
4.6-475.fc35
B
perl-FindBin
1.51-474.fc35
1.51-475.fc35
B
perl-Locale-Maketext-Simple
1:0.21-474.fc35
1:0.21-475.fc35
B
perl-Hash-Util-FieldHash
1.20-474.fc35
1.20-475.fc35
B
perl-meta-notation
5.32.1-474.fc35
5.32.1-475.fc35
B
perl-locale
1.09-474.fc35
1.09-475.fc35
B
perl-base
2.27-474.fc35
2.27-475.fc35
B
perl-subs
1.03-474.fc35
1.03-475.fc35
B
perl-I18N-LangTags
0.44-474.fc35
0.44-475.fc35
B
perl-Unicode-UCD
0.75-474.fc35
0.75-475.fc35
B
perl-Pod-Html
1.25-474.fc35
1.25-475.fc35
B
perl-Math-Complex
1.59-474.fc35
1.59-475.fc35
B
perl-mro
1.23-474.fc35
1.23-475.fc35
B
ncurses
6.2-5.20210306.fc35
6.2-6.20210501.fc35
B
harfbuzz-devel
2.8.0-1.fc35
2.8.1-1.fc35
B
perl-File-Compare
1.100.600-474.fc35
1.100.600-475.fc35
B
perl-deprecate
0.04-474.fc35
0.04-475.fc35
B
perl-Opcode
1.48-474.fc35
1.48-475.fc35
B
perl-if
0.60.800-474.fc35
0.60.800-475.fc35
B
coreutils
8.32-23.fc35
8.32-24.fc35
2
python3-babel
2.9.0-4.fc34
2.9.1-1.fc35
2
which
2.21-25.fc35
2.21-26.fc35
3
libxcrypt
4.4.19-1.fc35
4.4.20-2.fc35
3
libxkbcommon
1.2.1-1.fc35
1.3.0-1.fc35
3
coreutils-common
8.32-23.fc35
8.32-24.fc35
3
libglvnd-glx
1:1.3.2-4.fc35
1:1.3.3-1.fc35
3
libglvnd-egl
1:1.3.2-4.fc35
1:1.3.3-1.fc35
3
wayland-protocols-devel
1.20-3.fc34
1.21-1.fc35
4
libxkbcommon-devel
1.2.1-1.fc35
1.3.0-1.fc35
4
libcurl
7.76.1-1.fc35
7.76.1-2.fc35
4
libglvnd
1:1.3.2-4.fc35
1:1.3.3-1.fc35
4
curl
7.76.1-1.fc35
7.76.1-2.fc35
4
libxcrypt-devel
4.4.19-1.fc35
4.4.20-2.fc35
4
openblas
0.3.14-1.fc35
0.3.15-1.fc35
B
hwdata
0.346-1.fc35
0.347-1.fc35
B
perl-DateTime-Calendar-Julian
0.103-2.fc34
0.104-1.fc35
B
libglvnd-devel
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
libglvnd-gles
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
perl-DateTime-Format-Strptime
1:1.78-2.fc34
1:1.79-1.fc35
B
libglvnd-core-devel
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
perl-DateTime-Locale
1.31-2.fc34
1.32-1.fc35
B
libglvnd-opengl
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
openblas-openmp
0.3.14-1.fc35
0.3.15-1.fc35
B
perl-Exception-Class
1.44-11.fc34
1.45-1.fc35
B
rpm-libs
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
2
glib2
2.68.1-1.fc35
2.68.1-2.fc35
2
gcc
11.0.1-0.7.fc35
11.1.1-1.fc35
2
libstdc++
11.0.1-0.7.fc35
11.1.1-1.fc35
2
libgcc
11.0.1-0.7.fc35
11.1.1-1.fc35
2
rpm
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
3
file
5.40-5.fc35
5.40-6.fc35
3
libgcrypt
1.9.3-1.fc35
1.9.3-2.fc35
3
libepoxy
1.5.5-2.fc34
1.5.7-1.fc35
3
annobin-plugin-gcc
9.69-1.fc35
9.70-1.fc35
3
cpp
11.0.1-0.7.fc35
11.1.1-1.fc35
3
wpebackend-fdo
1.9.90-2.fc35
1.9.91-1.fc35
3
libgomp
11.0.1-0.7.fc35
11.1.1-1.fc35
3
lua-libs
5.4.2-2.fc34
5.4.3-1.fc35
3
cups-libs
1:2.3.3op2-4.fc35
1:2.3.3op2-5.fc35
3
mesa-libEGL
21.0.3-1.fc35
21.0.3-2.fc35
4
unzip
6.0-51.fc35
6.0-52.fc35
4
cmake-filesystem
3.19.7-1.fc35
3.20.2-1.fc35
4
mesa-libGL
21.0.3-1.fc35
21.0.3-2.fc35
4
annobin-docs
9.69-1.fc35
9.70-1.fc35
4
file-libs
5.40-5.fc35
5.40-6.fc35
4
glib2-devel
2.68.1-1.fc35
2.68.1-2.fc35
4
libepoxy-devel
1.5.5-2.fc34
1.5.7-1.fc35
4
avahi-libs
0.8-10.fc35
0.8-11.fc35
4
fedora-release
35-0.6
35-0.7
B
rpm-build-libs
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
B
mesa-libglapi
21.0.3-1.fc35
21.0.3-2.fc35
B
fedora-repos
35-0.2
35-0.4
B
mesa-libgbm
21.0.3-1.fc35
21.0.3-2.fc35
B
libquadmath
11.0.1-0.7.fc35
11.1.1-1.fc35
B
fedora-gpg-keys
35-0.2
35-0.4
B
fedora-repos-rawhide
35-0.2
35-0.4
B
fedora-release-identity-basic
35-0.6
35-0.7
B
fedora-release-common
35-0.6
35-0.7
B
rpm-build
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
B
libgfortran
11.0.1-0.7.fc35
11.1.1-1.fc35
B
mailcap
2.1.52-1.fc35
2.1.53-1.fc35
B
xorg-x11-proto-devel
2021.3-1.fc35
2021.4-1.fc35
B
emacs
1:27.2-2.fc35
1:27.2-3.fc35
1
coreutils
8.32-22.fc35
8.32-23.fc35
2
libjpeg-turbo
2.0.90-2.fc35
2.1.0-1.fc35
2
emacs-common
1:27.2-2.fc35
1:27.2-3.fc35
2
rpm-libs
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
2
coreutils-common
8.32-22.fc35
8.32-23.fc35
3
go-srpm-macros
3.0.9-3.fc35
3.0.10-1.fc35
3
emacs-filesystem
1:27.2-2.fc35
1:27.2-3.fc35
3
which
2.21-24.fc35
2.21-25.fc35
3
file
5.40-3.fc35
5.40-5.fc35
3
rpm
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
3
kernel-headers
5.12.0-0.rc8.git0.1....
5.12.0-1.fc35
4
file-libs
5.40-3.fc35
5.40-5.fc35
4
shadow-utils
2:4.8.1-8.fc35
2:4.8.1-9.fc35
B
perl-List-AllUtils
0.18-2.fc34
0.19-2.fc35
B
rpm-build
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
B
rpm-build-libs
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
B
Previous history