why3

Package information

State
ok

Scheduler parameters

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

graphviz
13.0.1-2.fc43
12.2.1-9.fc43
1
libcurl
8.14.1-1.fc43
8.15.0~rc1-1.fc43
2
libgs
10.05.1-3.fc43
10.05.1-4.fc43
2
graphviz-libs
13.0.1-2.fc43
12.2.1-9.fc43
2
ghostscript
10.05.1-3.fc43
10.05.1-4.fc43
2
libuuid
2.40.4-8.fc43
2.41.1-10.fc43
2
ghostscript-tools-fontutils
10.05.1-4.fc43
3
libmount
2.40.4-8.fc43
2.41.1-10.fc43
3
util-linux
2.40.4-8.fc43
2.41.1-10.fc43
3
ghostscript-tools-printing
10.05.1-3.fc43
10.05.1-4.fc43
3
liblastlog2
2.41.1-10.fc43
4
colord-libs
1.4.7-8.fc43
1.4.8-1.fc43
4
libmount-devel
2.40.4-8.fc43
2.41.1-10.fc43
4
libsmartcols
2.40.4-8.fc43
2.41.1-10.fc43
4
curl
8.14.1-1.fc43
8.15.0~rc1-1.fc43
4
libfdisk
2.40.4-8.fc43
2.41.1-10.fc43
4
util-linux-core
2.40.4-8.fc43
2.41.1-10.fc43
4
libblkid
2.40.4-8.fc43
2.41.1-10.fc43
4
libblkid-devel
2.40.4-8.fc43
2.41.1-10.fc43
B
ghostscript-tools-fonts
10.05.1-3.fc43

Groups

This package is not part of any global group.

Most recent builds

graphviz
12.2.1-9.fc43
13.0.1-2.fc43
1
graphviz-libs
12.2.1-9.fc43
13.0.1-2.fc43
2
glibc
2.41.9000-16.fc43
2.41.9000-20.fc43
2
glibc-gconv-extra
2.41.9000-16.fc43
2.41.9000-20.fc43
3
glibc-common
2.41.9000-16.fc43
2.41.9000-20.fc43
3
pyproject-srpm-macros
1.18.1-1.fc43
1.18.2-1.fc43
3
glibc-devel
2.41.9000-16.fc43
2.41.9000-20.fc43
3
crypto-policies
20250603-1.git3a584b3....
20250620-1.git9496ef7....
3
glibc-minimal-langpack
2.41.9000-16.fc43
2.41.9000-20.fc43
3
kernel-headers
6.16.0-0.rc2.24.fc43
6.16.0-0.rc3.31.fc43
4
colord-libs
1.4.7-6.fc42
1.4.7-8.fc43
4
perl-Clone-Choose
0.010-22.fc42
B
llvm-libs
20.1.6-10.fc43
20.1.7-1.fc43
B
llvm-filesystem
20.1.6-10.fc43
20.1.7-1.fc43
B
perl-Clone-PP
1.08-13.fc42
B
debugedit
5.1-6.fc43
5.1-7.fc43
B
perl-Specio
0.50-1.fc43
0.51-1.fc43
B
python3
3.14.0~b2-3.fc43
3.14.0~b3-2.fc43
2
ncurses-libs
6.5-5.20250125.fc42
6.5-6.20250614.fc43
2
glibc
2.41.9000-15.fc43
2.41.9000-16.fc43
2
python3-libs
3.14.0~b2-3.fc43
3.14.0~b3-2.fc43
3
glibc-common
2.41.9000-15.fc43
2.41.9000-16.fc43
3
glibc-devel
2.41.9000-15.fc43
2.41.9000-16.fc43
3
annobin-plugin-gcc
12.96-1.fc43
12.97-1.fc43
3
libnghttp2
1.65.0-1.fc43
1.66.0-1.fc43
3
which
2.23-1.fc42
2.23-2.fc43
3
ncurses-base
6.5-5.20250125.fc42
6.5-6.20250614.fc43
3
glibc-minimal-langpack
2.41.9000-15.fc43
2.41.9000-16.fc43
3
glibc-gconv-extra
2.41.9000-15.fc43
2.41.9000-16.fc43
3
pam-libs
1.7.0-4.fc42
1.7.1-1.fc43
4
annobin-docs
12.96-1.fc43
12.97-1.fc43
4
python-pip-wheel
25.1.1-4.fc43
25.1.1-5.fc43
4
adwaita-icon-theme
48.0-2.fc43
48.1-1.fc43
4
mesa-dri-drivers
25.1.3-2.fc43
25.1.4-1.fc43
B
mesa-libEGL
25.1.3-2.fc43
25.1.4-1.fc43
B
perl-IO-Socket-SSL
2.091-1.fc43
2.094-1.fc43
B
adwaita-cursor-theme
48.0-2.fc43
48.1-1.fc43
B
llvm-filesystem
20.1.6-9.fc43
20.1.6-10.fc43
B
mesa-libgbm
25.1.3-2.fc43
25.1.4-1.fc43
B
mesa-filesystem
25.1.3-2.fc43
25.1.4-1.fc43
B
ncurses
6.5-5.20250125.fc42
6.5-6.20250614.fc43
B
libdrm
2.4.124-2.fc42
2.4.125-1.fc43
B
mesa-libGL
25.1.3-2.fc43
25.1.4-1.fc43
B
llvm-libs
20.1.6-9.fc43
20.1.6-10.fc43
B
emacs-nw
1:30.1-24.fc43
1:30.1-25.fc43
1
urw-base35-fonts
20200910-24.fc42
20200910-25.fc43
2
emacs-common
1:30.1-24.fc43
1:30.1-25.fc43
2
emacs
1:30.1-24.fc43
1:30.1-25.fc43
2
urw-base35-p052-fonts
20200910-24.fc42
20200910-25.fc43
3
urw-base35-d050000l-fonts
20200910-24.fc42
20200910-25.fc43
3
urw-base35-gothic-fonts
20200910-24.fc42
20200910-25.fc43
3
urw-base35-nimbus-sans-fonts
20200910-24.fc42
20200910-25.fc43
3
libpng
2:1.6.48-1.fc43
2:1.6.49-1.fc43
3
urw-base35-bookman-fonts
20200910-24.fc42
20200910-25.fc43
3
urw-base35-standard-symbols-ps-fonts
20200910-24.fc42
20200910-25.fc43
3
urw-base35-nimbus-mono-ps-fonts
20200910-24.fc42
20200910-25.fc43
3
urw-base35-nimbus-roman-fonts
20200910-24.fc42
20200910-25.fc43
3
tree-sitter-srpm-macros
0.4.0-1.fc43
0.4.1-1.fc43
3
urw-base35-c059-fonts
20200910-24.fc42
20200910-25.fc43
3
urw-base35-fonts-common
20200910-24.fc42
20200910-25.fc43
3
emacsclient
1:30.1-24.fc43
1:30.1-25.fc43
3
urw-base35-z003-fonts
20200910-24.fc42
20200910-25.fc43
3
libjpeg-turbo
3.1.0-2.fc42
3.1.1-1.fc43
3
kernel-headers
6.16.0-0.rc1.17.fc43
6.16.0-0.rc2.24.fc43
4
publicsuffix-list-dafsa
20250116-1.fc42
20250616-1.fc43
4
libpng-devel
2:1.6.48-1.fc43
2:1.6.49-1.fc43
4
perltidy
20250311-1.fc43
20250616-1.fc43
B
libjpeg-turbo-devel
3.1.0-2.fc42
3.1.1-1.fc43
B
llvm-filesystem
20.1.6-6.fc43
20.1.6-9.fc43
B
llvm-libs
20.1.6-6.fc43
20.1.6-9.fc43
B
emacs-nw
1:30.1-23.fc43
1:30.1-24.fc43
1
emacs-common
1:30.1-23.fc43
1:30.1-24.fc43
2
glib2
2.85.0-1.fc43
2.85.1-1.fc43
2
emacs
1:30.1-23.fc43
1:30.1-24.fc43
2
libtree-sitter
0.25.5-1.fc43
0.25.6-1.fc43
2
python3-urllib3
2.4.0-3.fc43
2.4.0-4.fc43
3
glib2-devel
2.85.0-1.fc43
2.85.1-1.fc43
3
tree-sitter-srpm-macros
0.3.0-1.fc43
0.4.0-1.fc43
3
emacsclient
1:30.1-23.fc43
1:30.1-24.fc43
3
libffi
3.4.8-1.fc43
3.5.1-1.fc43
3
audit-libs
4.0.4-3.fc43
4.0.5-1.fc43
4
libffi-devel
3.4.8-1.fc43
3.5.1-1.fc43
4
perl-File-Find-Rule
0.34-30.fc42
0.35-1.fc43
B
perl-IO-Socket-SSL
2.090-1.fc43
2.091-1.fc43
B
mesa-libEGL
25.1.3-1.fc43
25.1.3-2.fc43
B
mesa-libgbm
25.1.3-1.fc43
25.1.3-2.fc43
B
mesa-filesystem
25.1.3-1.fc43
25.1.3-2.fc43
B
mesa-libGL
25.1.3-1.fc43
25.1.3-2.fc43
B
mesa-dri-drivers
25.1.3-1.fc43
25.1.3-2.fc43
B
graphviz
12.2.1-8.fc43
12.2.1-9.fc43
1
python3-sphinxcontrib-bibtex
2.6.3-2.fc42
2.6.3-3.fc43
1
python3-sphinx
1:8.2.3-5.fc43
1:8.2.3-8.fc43
1
python3-jinja2
3.1.6-1.fc43
3.1.6-3.fc43
2
python3-snowballstemmer
3.0.1-4.fc43
3.0.1-5.fc43
2
python3-pygments
2.19.1-1.fc43
2.19.1-3.fc43
2
libselinux
3.8-2.fc43
3.8-3.fc43
2
rpm-libs
5.99.90-5.fc43
5.99.90-6.fc43
2
python3-requests
2.32.3-12.fc43
2.32.3-14.fc43
2
graphviz-libs
12.2.1-8.fc43
12.2.1-9.fc43
2
python3-sphinx-theme-alabaster
0.7.16-6.fc41
0.7.16-8.fc43
2
python3-roman-numerals-py
3.1.0-1.fc43
3.1.0-2.fc43
2
python3-pybtex
0.24.0-18.fc42
0.24.0-19.fc43
2
python3-docutils
0.21.2-2.fc42
0.21.2-3.fc43
2
python3-pybtex-docutils
1.0.3-6.fc42
1.0.3-7.fc43
2
python3-imagesize
1.4.1-10.fc42
1.4.1-11.fc43
2
python3-packaging
25.0-1.fc43
25.0-3.fc43
2
python3-babel
2.17.0-1.fc42
2.17.0-3.fc43
2
libxml2
2.12.10-1.fc43
2.12.10-2.fc43
2
libuuid
2.40.4-7.fc43
2.40.4-8.fc43
2
python3
3.13.3-3.fc43
3.14.0~b2-3.fc43
2
python3-setuptools
78.1.1-1.fc43
78.1.1-7.fc43
2
python3-charset-normalizer
3.4.2-1.fc43
3.4.2-2.fc43
3
util-linux
2.40.4-7.fc43
2.40.4-8.fc43
3
cmake-filesystem
3.31.6-2.fc43
3.31.6-3.fc43
3
python3-idna
3.10-2.fc42
3.10-3.fc43
3
python3-six
1.17.0-2.fc42
1.17.0-4.fc43
3
python3-libs
3.13.3-3.fc43
3.14.0~b2-3.fc43
3
java-srpm-macros
1-3.fc43
1-4.fc43
3
python-srpm-macros
3.13-5.fc43
3.14-1.fc43
3
python3-markupsafe
3.0.2-2.fc42
3.0.2-3.fc43
3
file
5.46-4.fc43
5.46-5.fc43
3
libmount
2.40.4-7.fc43
2.40.4-8.fc43
3
libxml2-devel
2.12.10-1.fc43
2.12.10-2.fc43
3
dwz
0.15-9.fc42
0.16-1.fc43
3
pixman
0.44.2-2.fc42
0.46.2-1.fc43
3
openldap
2.6.9-5.fc43
2.6.10-1.fc43
3
python3-latexcodec
3.0.0-8.fc42
3.0.0-9.fc43
3
rpm
5.99.90-5.fc43
5.99.90-6.fc43
3
libbrotli
1.1.0-6.fc42
1.1.0-7.fc43
3
python3-pyyaml
6.0.2-2.fc42
6.0.2-3.fc43
3
python3-urllib3
2.4.0-2.fc43
2.4.0-3.fc43
3
libfdisk
2.40.4-7.fc43
2.40.4-8.fc43
4
libcap-ng
0.8.5-4.fc42
0.8.5-5.fc43
4
gpgmepp
1.24.3-1.fc43
1.24.3-2.fc43
4
libmount-devel
2.40.4-7.fc43
2.40.4-8.fc43
4
pixman-devel
0.44.2-2.fc42
0.46.2-1.fc43
4
javapackages-filesystem
6.4.0-7.fc43
6.4.0-8.fc43
4
libblkid
2.40.4-7.fc43
2.40.4-8.fc43
4
libsmartcols
2.40.4-7.fc43
2.40.4-8.fc43
4
python-pip-wheel
25.1.1-3.fc43
25.1.1-4.fc43
4
kernel-headers
6.15.0-61.fc43
6.16.0-0.rc1.17.fc43
4
file-libs
5.46-4.fc43
5.46-5.fc43
4
libselinux-devel
3.8-2.fc43
3.8-3.fc43
4
audit-libs
4.0.4-2.fc43
4.0.4-3.fc43
4
util-linux-core
2.40.4-7.fc43
2.40.4-8.fc43
4
rpm-build
5.99.90-5.fc43
5.99.90-6.fc43
4
libb2
0.98.1-13.fc42
rpm-sign-libs
5.99.90-5.fc43
5.99.90-6.fc43
B
brotli-devel
1.1.0-6.fc42
1.1.0-7.fc43
B
brotli
1.1.0-6.fc42
1.1.0-7.fc43
B
llvm-filesystem
20.1.6-1.fc43
20.1.6-6.fc43
B
llvm-libs
20.1.6-1.fc43
20.1.6-6.fc43
B
gpgme
1.24.3-1.fc43
1.24.3-2.fc43
B
perl-Mozilla-CA
20250202-1.fc42
20250602-1.fc43
B
libblkid-devel
2.40.4-7.fc43
2.40.4-8.fc43
B
gdb-minimal
16.3-1.fc43
16.3-3.fc43
B
libsemanage
3.8.1-2.fc43
3.8.1-3.fc43
B
perl-Date-Manip
6.97-1.fc43
6.98-1.fc43
B
libxslt
1.1.43-1.fc43
1.1.43-2.fc43
B
rpm-build-libs
5.99.90-5.fc43
5.99.90-6.fc43
B
Real build: why3-1.8.1-1.fc43
qt6-srpm-macros
6.9.0-2.fc43
6.9.1-1.fc43
3
tree-sitter-srpm-macros
0.2.4-1.fc43
0.3.0-1.fc43
3
mesa-libEGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-dri-drivers
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libgbm
25.1.1-1.fc43
25.1.3-1.fc43
B
libeconf
0.7.6-1.fc43
0.7.9-1.fc43
B
mesa-filesystem
25.1.1-1.fc43
25.1.3-1.fc43
B
perl-Module-CoreList
1:5.20250421-1.fc43
1:5.20250528-1.fc43
B
Real build: why3-1.8.0-6.fc43
No dependency changes
java-21-openjdk-devel
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
1
ocaml-apron-devel
0.9.15-6.fc42
0.9.15-7.fc43
1
ocaml-mlgmpidl-devel
1.3.0-13.fc42
1.3.0-14.fc43
2
ocaml-apron
0.9.15-6.fc42
0.9.15-7.fc43
2
libcurl
8.14.0-1.fc43
8.14.1-1.fc43
2
apron-devel
0.9.15-6.fc42
0.9.15-7.fc43
2
ocaml-mlgmpidl
1.3.0-13.fc42
1.3.0-14.fc43
2
java-21-openjdk
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
2
apron
0.9.15-6.fc42
0.9.15-7.fc43
3
lua-libs
5.4.7-3.fc43
5.4.8-1.fc43
3
krb5-libs
1.21.3-5.fc42
1.21.3-6.fc43
3
annobin-plugin-gcc
12.95-1.fc43
12.96-1.fc43
3
java-21-openjdk-headless
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
3
file
5.46-2.fc43
5.46-4.fc43
3
openssl-libs
1:3.5.0-3.fc43
1:3.5.0-5.fc43
3
file-libs
5.46-2.fc43
5.46-4.fc43
4
curl
8.14.0-1.fc43
8.14.1-1.fc43
4
annobin-docs
12.95-1.fc43
12.96-1.fc43
4
perl-Business-ISBN-Data
20250521.001-1.fc43
20250605.001-1.fc43
B
Previous history