why3

Package information

State
ok

Scheduler parameters

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

complete
2023-10-01 23:42:23
harfbuzz
8.2.1-1.fc40
8.2.1-2.fc40
2
libwebp
1.3.2-1.fc40
1.3.2-2.fc40
2
librsvg2
2.56.92-1.fc40
2.57.0-1.fc40
2
redhat-rpm-config
267-1.fc40
268-1.fc40
2
glibc
2.38.9000-9.fc40
2.38.9000-10.fc40
2
glibc-gconv-extra
2.38.9000-9.fc40
2.38.9000-10.fc40
3
glibc-minimal-langpack
2.38.9000-9.fc40
2.38.9000-10.fc40
3
glibc-common
2.38.9000-9.fc40
2.38.9000-10.fc40
3
rust-srpm-macros
24-5.fc40
25.2-1.fc40
3
glibc-devel
2.38.9000-9.fc40
2.38.9000-10.fc40
3
rsvg-pixbuf-loader
2.56.92-1.fc40
2.57.0-1.fc40
3
glibc-headers-x86
2.38.9000-9.fc40
2.38.9000-10.fc40
4
mesa-libgbm
23.2.0~rc3-1.fc40
23.2.1-1.fc40
4
rav1e-libs
0.6.6-2.fc39
0.6.6-3.fc40
4
harfbuzz-icu
8.2.1-1.fc40
8.2.1-2.fc40
4
fedora-release-identity-basic
40-0.9
40-0.10
B
mesa-libglapi
23.2.0~rc3-1.fc40
23.2.1-1.fc40
B
harfbuzz-devel
8.2.1-1.fc40
8.2.1-2.fc40
B
mesa-libGL
23.2.0~rc3-1.fc40
23.2.1-1.fc40
B
fedora-release-common
40-0.9
40-0.10
B
fedora-release
40-0.9
40-0.10
B
mesa-libEGL
23.2.0~rc3-1.fc40
23.2.1-1.fc40
B
complete
2023-09-28 06:52:50
perl-File-Find
1.43-500.fc39
1.43-501.fc40
2
perl-interpreter
4:5.38.0-500.fc39
4:5.38.0-501.fc40
2
perl-libs
4:5.38.0-500.fc39
4:5.38.0-501.fc40
2
systemd-libs
254.2-12.fc40
254.5-2.fc40
2
perl-sigtrap
1.10-500.fc39
1.10-501.fc40
2
redhat-rpm-config
266-1.fc40
267-1.fc40
2
perl-File-Copy
2.41-500.fc39
2.41-501.fc40
2
perl-File-Basename
2.86-500.fc39
2.86-501.fc40
2
perl-vars
1.05-500.fc39
1.05-501.fc40
2
perl-FileHandle
2.05-500.fc39
2.05-501.fc40
2
glib2
2.78.0-2.fc40
2.78.0-3.fc40
2
cairo
1.17.8-5.fc39
1.18.0-1.fc40
2
pyproject-srpm-macros
1.9.0-2.fc39
1.10.0-1.fc40
3
perl-Errno
1.37-500.fc39
1.37-501.fc40
3
perl-meta-notation
5.38.0-500.fc39
5.38.0-501.fc40
3
perl-Symbol
1.09-500.fc39
1.09-501.fc40
3
perl-overload
1.37-500.fc39
1.37-501.fc40
3
perl-POSIX
2.13-500.fc39
2.13-501.fc40
3
perl-DynaLoader
1.54-500.fc39
1.54-501.fc40
3
cairo-devel
1.17.8-5.fc39
1.18.0-1.fc40
3
python3-setuptools
67.7.2-7.fc40
68.2.2-1.fc40
3
perl-IO
1.52-500.fc39
1.52-501.fc40
3
cairo-gobject
1.17.8-5.fc39
1.18.0-1.fc40
3
perl-Getopt-Std
1.13-500.fc39
1.13-501.fc40
3
annobin-plugin-gcc
12.26-1.fc40
12.27-1.fc40
3
glib2-devel
2.78.0-2.fc40
2.78.0-3.fc40
4
perl-mro
1.28-500.fc39
1.28-501.fc40
4
perl-overloading
0.02-500.fc39
0.02-501.fc40
4
annobin-docs
12.26-1.fc40
12.27-1.fc40
4
cairo-gobject-devel
1.17.8-5.fc39
1.18.0-1.fc40
4
perl-File-stat
1.13-500.fc39
1.13-501.fc40
4
authselect-libs
1.4.2-3.fc39
1.4.3-1.fc40
4
perl-Fcntl
1.15-500.fc39
1.15-501.fc40
4
perl-locale
1.10-500.fc39
1.10-501.fc40
4
perl-SelectSaver
1.02-500.fc39
1.02-501.fc40
4
perl-deprecate
0.04-500.fc39
0.04-501.fc40
B
perl-B
1.88-500.fc39
1.88-501.fc40
B
perl-Locale-Maketext-Simple
1:0.21-500.fc39
1:0.21-501.fc40
B
perl-Tie
4.6-500.fc39
4.6-501.fc40
B
perl-Opcode
1.64-500.fc39
1.64-501.fc40
B
perl-File-Compare
1.100.700-500.fc39
1.100.700-501.fc40
B
perl-open
1.13-500.fc39
1.13-501.fc40
B
perl-base
2.27-500.fc39
2.27-501.fc40
B
perl-English
1.11-500.fc39
1.11-501.fc40
B
perl-I18N-LangTags
0.45-500.fc39
0.45-501.fc40
B
perl-Pod-Html
1.34-500.fc39
1.34-501.fc40
B
perl-subs
1.04-500.fc39
1.04-501.fc40
B
perl-IPC-Open3
1.22-500.fc39
1.22-501.fc40
B
perl-AutoLoader
5.74-500.fc39
5.74-501.fc40
B
perl-Math-Complex
1.62-500.fc39
1.62-501.fc40
B
perl-Hash-Util-FieldHash
1.26-500.fc39
1.26-501.fc40
B
perl-Safe
2.44-500.fc39
2.44-501.fc40
B
perl-Unicode-UCD
0.78-500.fc39
0.78-501.fc40
B
perl-Sys-Hostname
1.25-500.fc39
1.25-501.fc40
B
cmake-filesystem
3.27.4-8.fc40
3.27.6-1.fc40
B
authselect
1.4.2-3.fc39
1.4.3-1.fc40
B
perl-I18N-Langinfo
0.22-500.fc39
0.22-501.fc40
B
perl-Class-Struct
0.68-500.fc39
0.68-501.fc40
B
perl-if
0.61.000-500.fc39
0.61.000-501.fc40
B
complete
2023-09-26 15:46:32
python3-sphinx
1:7.1.2-1.fc40
1:7.1.2-2.fc40
1
graphviz
8.1.0-6.fc40
9.0.0-1.fc40
1
emacs-nox
1:29.1-1.fc39
1:29.1-2.fc40
1
libtree-sitter
0.20.8-2.fc39
2
emacs-common
1:29.1-1.fc39
1:29.1-2.fc40
2
emacs-filesystem
1:29.1-1.fc39
1:29.1-2.fc40
3
openjpeg2
2.5.0-4.fc39
2.5.0-5.fc40
3
kernel-headers
6.6.0-0.rc2.git0.1....
6.6.0-0.rc3.git0.1....
4
fedora-release-common
40-0.8
40-0.9
B
fedora-release
40-0.8
40-0.9
B
fedora-release-identity-basic
40-0.8
40-0.9
B
perl-Business-ISBN-Data
20230907.001-1.fc40
20230926.001-1.fc40
B
complete
2023-09-22 18:58:38
ocaml-apron-devel
0.9.14-0.6.beta.2.fc39
0.9.14-1.fc40
1
python3
3.12.0~rc2-1.fc40
3.12.0~rc3-1.fc40
2
perl-Digest-MD5
2.58-500.fc39
2.58-501.fc40
2
python3-babel
2.12.1-4.fc39~bootstrap
2.12.1-6.fc40
2
apron-devel
0.9.14-0.6.beta.2.fc39
0.9.14-1.fc40
2
ocaml-apron
0.9.14-0.6.beta.2.fc39
0.9.14-1.fc40
2
apron
0.9.14-0.6.beta.2.fc39
0.9.14-1.fc40
3
python3-libs
3.12.0~rc2-1.fc40
3.12.0~rc3-1.fc40
3
cups-libs
1:2.4.6-6.fc40
1:2.4.7-1.fc40
3
libpng
2:1.6.37-15.fc39
2:1.6.40-1.fc40
3
ghc-srpm-macros
1.6.1-2.fc39
1.6.1-3.fc40
3
crypto-policies
20230731-1.git5ed06e0....
20230920-1.git570ea89....
3
adwaita-icon-theme
45~rc-1.fc40
45.0-1.fc40
4
libpng-devel
2:1.6.37-15.fc39
2:1.6.40-1.fc40
4
perl-Module-CoreList
1:5.20230820-1.fc40
1:5.20230920-1.fc40
B
adwaita-cursor-theme
45~rc-1.fc40
45.0-1.fc40
B
fedora-release-common
40-0.7
40-0.8
B
crypto-policies-scripts
20230731-1.git5ed06e0....
20230920-1.git570ea89....
B
fedora-release-identity-basic
40-0.7
40-0.8
B
sysprof-capture-devel
3.48.0-2.fc39
45.0-1.fc40
B
perl-XML-Parser
2.46-15.fc39
2.46-16.fc40
B
fedora-release
40-0.7
40-0.8
B
perl-Math-BigInt
1:1.9998.39-2.fc39
1:1.9998.41-1.fc40
B
complete
2023-09-20 05:28:52
gcc
13.2.1-1.fc39
13.2.1-3.fc40
2
libwebp
1.3.1-3.fc40
1.3.2-1.fc40
2
rpm-libs
4.18.99-1.fc40
4.19.0-1.fc40
2
libstdc++
13.2.1-1.fc39
13.2.1-3.fc40
2
libgccjit
13.2.1-1.fc39
13.2.1-3.fc40
2
systemd-libs
254.1-2.fc40
254.2-12.fc40
2
harfbuzz
8.2.0-1.fc40
8.2.1-1.fc40
2
glibc
2.38.9000-8.fc40
2.38.9000-9.fc40
2
libgcc
13.2.1-1.fc39
13.2.1-3.fc40
2
cpp
13.2.1-1.fc39
13.2.1-3.fc40
3
gcc-plugin-annobin
13.2.1-1.fc39
13.2.1-3.fc40
3
rpm
4.18.99-1.fc40
4.19.0-1.fc40
3
glibc-minimal-langpack
2.38.9000-8.fc40
2.38.9000-9.fc40
3
libgomp
13.2.1-1.fc39
13.2.1-3.fc40
3
glibc-gconv-extra
2.38.9000-8.fc40
2.38.9000-9.fc40
3
zip
3.0-38.fc39
3.0-39.fc40
3
qt6-srpm-macros
6.5.2-2.fc39
6.5.2-3.fc40
3
glibc-devel
2.38.9000-8.fc40
2.38.9000-9.fc40
3
glibc-common
2.38.9000-8.fc40
2.38.9000-9.fc40
3
libtracker-sparql
3.6~rc-1.fc40
3.6.0-1.fc40
4
kernel-headers
6.6.0-0.rc1.git0.1....
6.6.0-0.rc2.git0.1....
4
glibc-headers-x86
2.38.9000-8.fc40
2.38.9000-9.fc40
4
harfbuzz-icu
8.2.0-1.fc40
8.2.1-1.fc40
4
perl-XML-SAX-Base
1.09-20.fc39
1.09-21.fc40
B
libgfortran
13.2.1-1.fc39
13.2.1-3.fc40
B
perl-XML-NamespaceSupport
1.12-20.fc39
1.12-21.fc40
B
libusb1
1.0.26-3.fc39
1.0.26-4.fc40
B
rpm-build
4.18.99-1.fc40
4.19.0-1.fc40
B
rpm-build-libs
4.18.99-1.fc40
4.19.0-1.fc40
B
libquadmath
13.2.1-1.fc39
13.2.1-3.fc40
B
gdb-minimal
13.2-8.fc40
13.2-9.fc40
B
harfbuzz-devel
8.2.0-1.fc40
8.2.1-1.fc40
B
complete
2023-09-17 08:50:02
json-glib
1.6.6-5.fc39
1.8.0-1.fc40
2
glib2
2.77.3-2.fc40
2.78.0-2.fc40
2
libsoup3
3.4.2-4.fc40
3.4.3-1.fc40
3
coreutils
9.3-2.fc39
9.4-1.fc40
3
libbrotli
1.0.9-13.fc39
1.1.0-1.fc40
3
atk
2.49.91-1.fc40
2.50.0-1.fc40
3
at-spi2-atk-devel
2.49.91-1.fc40
2.50.0-1.fc40
4
at-spi2-core
2.49.91-1.fc40
2.50.0-1.fc40
4
atk-devel
2.49.91-1.fc40
2.50.0-1.fc40
4
glib2-devel
2.77.3-2.fc40
2.78.0-2.fc40
4
audit-libs
3.1.2-3.fc40
3.1.2-4.fc40
4
at-spi2-atk
2.49.91-1.fc40
2.50.0-1.fc40
4
coreutils-common
9.3-2.fc39
9.4-1.fc40
4
perl-Pod-Escapes
1:1.07-500.fc39
1:1.07-501.fc40
B
at-spi2-core-devel
2.49.91-1.fc40
2.50.0-1.fc40
B
libglvnd-devel
1:1.6.0-3.fc39
1:1.7.0-1.fc40
B
libglvnd-egl
1:1.6.0-3.fc39
1:1.7.0-1.fc40
B
gdb-minimal
13.2-7.fc39
13.2-8.fc40
B
libglvnd-opengl
1:1.6.0-3.fc39
1:1.7.0-1.fc40
B
brotli-devel
1.0.9-13.fc39
1.1.0-1.fc40
B
cmake-filesystem
3.27.4-6.fc40
3.27.4-8.fc40
B
perl-HTML-Tagset
3.20-54.fc39
3.20-55.fc40
B
libglvnd-core-devel
1:1.6.0-3.fc39
1:1.7.0-1.fc40
B
libglvnd-glx
1:1.6.0-3.fc39
1:1.7.0-1.fc40
B
perl-Net-SMTP-SSL
1.04-21.fc39
1.04-22.fc40
B
libglvnd
1:1.6.0-3.fc39
1:1.7.0-1.fc40
B
brotli
1.0.9-13.fc39
1.1.0-1.fc40
B
libglvnd-gles
1:1.6.0-3.fc39
1:1.7.0-1.fc40
B
complete
2023-09-13 20:44:25
libarchive
3.7.1-1.fc39
3.7.2-1.fc40
2
glibc
2.38.9000-7.fc40
2.38.9000-8.fc40
2
sqlite-libs
3.43.0-1.fc40
3.43.1-1.fc40
2
libwebp
1.3.1-2.fc39
1.3.1-3.fc40
2
ncurses-libs
6.4-6.20230520.fc39
6.4-7.20230520.fc40
2
libcurl
8.2.1-2.fc40
8.3.0-1.fc40
2
glibc-gconv-extra
2.38.9000-7.fc40
2.38.9000-8.fc40
3
glibc-common
2.38.9000-7.fc40
2.38.9000-8.fc40
3
glibc-minimal-langpack
2.38.9000-7.fc40
2.38.9000-8.fc40
3
findutils
1:4.9.0-5.fc39
1:4.9.0-6.fc40
3
ncurses-base
6.4-6.20230520.fc39
6.4-7.20230520.fc40
3
glibc-devel
2.38.9000-7.fc40
2.38.9000-8.fc40
3
go-srpm-macros
3.2.0-6.fc39
3.2.0-7.fc40
3
curl
8.2.1-2.fc40
8.3.0-1.fc40
4
glibc-headers-x86
2.38.9000-7.fc40
2.38.9000-8.fc40
4
perltidy
20230909-1.fc40
20230912-1.fc40
B
ncurses
6.4-6.20230520.fc39
6.4-7.20230520.fc40
B
perl-version
8:0.99.29-501.fc39
8:0.99.30-1.fc40
B
complete
2023-09-12 05:55:17
harfbuzz
8.1.1-1.fc39
8.2.0-1.fc40
2
libacl
2.3.1-8.fc39
2.3.1-9.fc40
2
python3-setuptools
67.7.2-5.fc39
67.7.2-7.fc40
3
cups-libs
1:2.4.6-5.fc40
1:2.4.6-6.fc40
3
glpk-devel
5.0-7.fc39
5.0-8.fc40
3
libnghttp2
1.55.1-2.fc39
1.56.0-1.fc40
3
libattr
2.5.1-8.fc39
2.5.1-9.fc40
3
ca-certificates
2023.2.60_v7.0.306-2.fc39
2023.2.60_v7.0.306-3.fc40
4
glpk
5.0-7.fc39
5.0-8.fc40
4
nspr
4.35.0-12.fc40
4.35.0-13.fc40
4
nss
3.93.0-1.fc40
3.93.0-2.fc40
4
harfbuzz-icu
8.1.1-1.fc39
8.2.0-1.fc40
4
kernel-headers
6.5.0-1.fc40
6.6.0-0.rc1.git0.1....
4
harfbuzz-devel
8.1.1-1.fc39
8.2.0-1.fc40
B
perl-Text-CSV
2.02-3.fc39
2.03-1.fc40
B
nss-util
3.93.0-1.fc40
3.93.0-2.fc40
B
nss-softokn
3.93.0-1.fc40
3.93.0-2.fc40
B
nss-sysinit
3.93.0-1.fc40
3.93.0-2.fc40
B
nss-softokn-freebl
3.93.0-1.fc40
3.93.0-2.fc40
B
Previous history