why3

Package information

State
ok

Scheduler parameters

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

libgs
10.02.1-5.fc39
10.02.1-7.fc39
2
ghostscript
10.02.1-5.fc39
10.02.1-7.fc39
2
gnutls
3.8.5-1.fc39
3.8.6-1.fc39
2
gtk3
3.24.41-1.fc39
3.24.43-1.fc39
3
findutils
1:4.9.0-5.fc39
1:4.9.0-6.fc39
3
pyproject-srpm-macros
1.12.0-1.fc39
1.13.0-1.fc39
3
ghostscript-tools-fonts
10.02.1-5.fc39
10.02.1-7.fc39
3
python-srpm-macros
3.12-4.fc39
3.12-8.fc39
3
krb5-libs
1.21.2-3.fc39
1.21.3-1.fc39
3
p11-kit
0.25.3-1.fc39
0.25.5-1.fc39
3
p11-kit-trust
0.25.3-1.fc39
0.25.5-1.fc39
3
coreutils
9.3-5.fc39
9.3-6.fc39
3
gtk3-devel
3.24.41-1.fc39
3.24.43-1.fc39
3
python3-charset-normalizer
3.2.0-2.fc39
3.3.2-4.fc39
3
ghostscript-tools-printing
10.02.1-5.fc39
10.02.1-7.fc39
3
gtk-update-icon-cache
3.24.41-1.fc39
3.24.43-1.fc39
4
libjxl
1:0.8.2-3.fc39
1:0.8.3-1.fc39
4
coreutils-common
9.3-5.fc39
9.3-6.fc39
4
libxslt
1.1.41-2.fc39
1.1.42-1.fc39
4
hwdata
0.383-1.fc39
0.384-1.fc39
B

Groups

This package is not part of any global group.

Most recent builds

complete
2024-07-14 04:32:25
libgs
10.02.1-2.fc39
10.02.1-5.fc39
2
python3
3.12.3-2.fc39
3.12.4-1.fc39
2
systemd-libs
254.13-1.fc39
254.14-1.fc39
2
ghostscript
10.02.1-2.fc39
10.02.1-5.fc39
2
annobin-plugin-gcc
12.57-1.fc39
12.60-1.fc39
3
cups-libs
1:2.4.8-3.fc39
1:2.4.10-1.fc39
3
rpmautospec-rpm-macros
0.6.3-1.fc39
0.6.5-1.fc39
3
python3-libs
3.12.3-2.fc39
3.12.4-1.fc39
3
python3-urllib3
1.26.18-1.fc39
1.26.19-1.fc39
3
ghostscript-tools-fonts
10.02.1-2.fc39
10.02.1-5.fc39
3
ghostscript-tools-printing
10.02.1-2.fc39
10.02.1-5.fc39
3
python3-urllib3+socks
1.26.18-1.fc39
1.26.19-1.fc39
4
annobin-docs
12.57-1.fc39
12.60-1.fc39
4
perl-Module-CoreList
1:5.20240609-1.fc39
1:5.20240702-1.fc39
B
complete
2024-07-02 00:34:00
emacs-nox
1:29.3-1.fc39
1:29.4-2.fc39
1
alsa-lib
1.2.11-2.fc39
1.2.12-1.fc39
2
emacs-common
1:29.3-1.fc39
1:29.4-2.fc39
2
libarchive
3.7.1-1.fc39
3.7.1-2.fc39
2
annobin-plugin-gcc
12.51-1.fc39
12.57-1.fc39
3
openldap
2.6.6-1.fc39
2.6.7-1.fc39
3
emacs-filesystem
1:29.3-1.fc39
1:29.4-2.fc39
3
annobin-docs
12.51-1.fc39
12.57-1.fc39
4
kernel-headers
6.8.3-200.fc39
6.9.4-100.fc39
4
flexiblas-netlib
3.4.2-1.fc39
3.4.4-1.fc39
4
nss
3.99.0-1.fc39
3.101.0-1.fc39
4
libdrm
2.4.120-1.fc39
2.4.121-1.fc39
4
libxslt
1.1.39-1.fc39
1.1.41-2.fc39
4
nspr
4.35.0-19.fc39
4.35.0-21.fc39
4
nss-softokn
3.99.0-1.fc39
3.101.0-1.fc39
B
flexiblas
3.4.2-1.fc39
3.4.4-1.fc39
B
perl-Module-CoreList
1:5.20240420-1.fc39
1:5.20240609-1.fc39
B
nss-softokn-freebl
3.99.0-1.fc39
3.101.0-1.fc39
B
fedora-repos
39-1
39-2
B
flexiblas-openblas-openmp
3.4.2-1.fc39
3.4.4-1.fc39
B
nss-util
3.99.0-1.fc39
3.101.0-1.fc39
B
nss-sysinit
3.99.0-1.fc39
3.101.0-1.fc39
B
fedora-gpg-keys
39-1
39-2
B
hwdata
0.382-1.fc39
0.383-1.fc39
B
complete
2024-06-07 02:51:46
systemd-libs
254.10-1.fc39
254.13-1.fc39
2
gcc
13.2.1-7.fc39
13.3.1-1.fc39
2
python3-jinja2
3.1.3-1.fc39
3.1.4-1.fc39
2
libstdc++
13.2.1-7.fc39
13.3.1-1.fc39
2
librsvg2
2.57.1-1.fc39
2.57.1-2.fc39
2
libgccjit
13.2.1-7.fc39
13.3.1-1.fc39
2
libgcc
13.2.1-7.fc39
13.3.1-1.fc39
2
rsvg-pixbuf-loader
2.57.1-1.fc39
2.57.1-2.fc39
3
gcc-plugin-annobin
13.2.1-7.fc39
13.3.1-1.fc39
3
cpp
13.2.1-7.fc39
13.3.1-1.fc39
3
libgomp
13.2.1-7.fc39
13.3.1-1.fc39
3
rust-srpm-macros
26.2-1.fc39
26.3-1.fc39
3
qt5-srpm-macros
5.15.12-1.fc39
5.15.13-1.fc39
3
cups-libs
1:2.4.7-13.fc39
1:2.4.8-3.fc39
3
rpm-sequoia
1.6.0-1.fc39
1.6.0-3.fc39
3
audit-libs
3.1.2-8.fc39
3.1.3-1.fc39
4
rav1e-libs
0.7.1-1.fc39
0.7.1-2.fc39
4
libaom
3.8.2-1.fc39
3.9.0-1.fc39
4
libquadmath
13.2.1-7.fc39
13.3.1-1.fc39
B
libgfortran
13.2.1-7.fc39
13.3.1-1.fc39
B
hwdata
0.381-1.fc39
0.382-1.fc39
B
libusb1
1.0.27-1.fc39
1.0.27-2.fc39
B
complete
2024-05-15 03:15:32
texlive-urlbst
11:svn65694-77.fc39
11:svn65694-78.fc39
1
texlive-attachfile2
11:svn57959-77.fc39
11:svn57959-78.fc39
2
texlive-base
11:20230311-77.fc39
11:20230311-78.fc39
2
texlive-kpathsea
11:svn66209-77.fc39
11:svn66209-78.fc39
2
glib2
2.78.3-1.fc39
2.78.6-1.fc39
2
texlive-latex
11:svn65161-77.fc39
11:svn65161-78.fc39
2
texlive-thumbpdf
11:svn62518-77.fc39
11:svn62518-78.fc39
2
texlive-lwarp
11:svn66259-77.fc39
11:svn66259-78.fc39
2
texlive-pdftex
11:svn66243-77.fc39
11:svn66243-78.fc39
3
annobin-plugin-gcc
12.46-1.fc39
12.51-1.fc39
3
texlive-lib
11:20230311-77.fc39
11:20230311-78.fc39
3
texlive-texlive-scripts
11:svn66584-77.fc39
11:svn66584-78.fc39
3
texlive-oberdiek
11:svn65521-77.fc39
11:svn65521-78.fc39
3
texlive-luatex
11:svn66967-77.fc39
11:svn66967-78.fc39
3
texlive-mptopdf
11:svn65952-77.fc39
11:svn65952-78.fc39
3
texlive-luaotfload
11:svn64616-77.fc39
11:svn64616-78.fc39
3
texlive-texlive.infra
11:svn66512-77.fc39
11:svn66512-78.fc39
4
texlive-epstopdf
11:svn66461-77.fc39
11:svn66461-78.fc39
4
texlive-mfware
11:svn66186-77.fc39
11:svn66186-78.fc39
4
texlive-tex
11:svn66186-77.fc39
11:svn66186-78.fc39
4
texlive-makeindex
11:svn62517-77.fc39
11:svn62517-78.fc39
4
texlive-dvips
11:svn66203-77.fc39
11:svn66203-78.fc39
4
glib2-devel
2.78.3-1.fc39
2.78.6-1.fc39
4
texlive-dvipdfmx
11:svn66203-77.fc39
11:svn66203-78.fc39
4
annobin-docs
12.46-1.fc39
12.51-1.fc39
4
texlive-xdvi
11:svn62387-77.fc39
11:svn62387-78.fc39
4
texlive-glyphlist
11:svn54074-77.fc39
11:svn54074-78.fc39
4
texlive-bibtex
11:svn66186-77.fc39
11:svn66186-78.fc39
4
texlive-luahbtex
11:svn66186-77.fc39
11:svn66186-78.fc39
4
texlive-texlive-en
11:svn66572-77.fc39
11:svn66572-78.fc39
4
texlive-gsftopk
11:svn52851-77.fc39
11:svn52851-78.fc39
4
texlive-metafont
11:svn66186-77.fc39
11:svn66186-78.fc39
4
texlive-xetex
11:svn66203-77.fc39
11:svn66203-78.fc39
B
perl-Module-CoreList
1:5.20240320-1.fc39
1:5.20240420-1.fc39
B
complete
2024-05-05 21:39:22
libcurl
8.2.1-4.fc39
8.2.1-5.fc39
2
urw-base35-fonts
20200910-18.fc39
20200910-20.fc39
2
python3
3.12.2-2.fc39
3.12.3-2.fc39
2
forge-srpm-macros
0.2.0-3.fc39
0.3.1-1.fc39
3
urw-base35-gothic-fonts
20200910-18.fc39
20200910-20.fc39
3
python3-idna
3.4-4.fc39
3.7-1.fc39
3
urw-base35-c059-fonts
20200910-18.fc39
20200910-20.fc39
3
python3-libs
3.12.2-2.fc39
3.12.3-2.fc39
3
urw-base35-bookman-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-nimbus-mono-ps-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-nimbus-sans-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-d050000l-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-z003-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-fonts-common
20200910-18.fc39
20200910-20.fc39
3
urw-base35-standard-symbols-ps-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-p052-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-nimbus-roman-fonts
20200910-18.fc39
20200910-20.fc39
3
curl
8.2.1-4.fc39
8.2.1-5.fc39
4
libgusb
0.4.8-1.fc39
0.4.9-1.fc39
B
dbus-broker
35-2.fc39
36-2.fc39
B
complete
2024-04-24 23:40:35
latexmk
4.83-1.fc39
4.85-1.fc39
1
glibc
2.38-17.fc39
2.38-18.fc39
2
libuuid
2.39.3-6.fc39
2.39.4-1.fc39
2
gnutls
3.8.4-1.fc39
3.8.5-1.fc39
2
libX11
1.8.7-1.fc39
1.8.9-1.fc39
2
util-linux
2.39.3-6.fc39
2.39.4-1.fc39
3
glibc-common
2.38-17.fc39
2.38-18.fc39
3
libnghttp2
1.55.1-4.fc39
1.55.1-5.fc39
3
glibc-devel
2.38-17.fc39
2.38-18.fc39
3
libX11-common
1.8.7-1.fc39
1.8.9-1.fc39
3
annobin-plugin-gcc
12.42-1.fc39
12.46-1.fc39
3
cups-libs
1:2.4.7-11.fc39
1:2.4.7-13.fc39
3
glibc-gconv-extra
2.38-17.fc39
2.38-18.fc39
3
libmount
2.39.3-6.fc39
2.39.4-1.fc39
3
glibc-minimal-langpack
2.38-17.fc39
2.38-18.fc39
3
util-linux-core
2.39.3-6.fc39
2.39.4-1.fc39
4
libfdisk
2.39.3-6.fc39
2.39.4-1.fc39
4
nspr
4.35.0-18.fc39
4.35.0-19.fc39
4
glibc-headers-x86
2.38-17.fc39
2.38-18.fc39
4
libX11-devel
1.8.7-1.fc39
1.8.9-1.fc39
4
python-pip-wheel
23.2.1-1.fc39
23.2.1-2.fc39
4
libsmartcols
2.39.3-6.fc39
2.39.4-1.fc39
4
nss
3.98.0-1.fc39
3.99.0-1.fc39
4
libblkid
2.39.3-6.fc39
2.39.4-1.fc39
4
annobin-docs
12.42-1.fc39
12.46-1.fc39
4
libX11-xcb
1.8.7-1.fc39
1.8.9-1.fc39
B
nss-sysinit
3.98.0-1.fc39
3.99.0-1.fc39
B
hwdata
0.380-1.fc39
0.381-1.fc39
B
nss-softokn
3.98.0-1.fc39
3.99.0-1.fc39
B
libmount-devel
2.39.3-6.fc39
2.39.4-1.fc39
B
gdb-minimal
14.1-4.fc39
14.2-1.fc39
B
libblkid-devel
2.39.3-6.fc39
2.39.4-1.fc39
B
nss-util
3.98.0-1.fc39
3.99.0-1.fc39
B
nss-softokn-freebl
3.98.0-1.fc39
3.99.0-1.fc39
B
Real build: why3-1.7.2-1.fc39
complete
2024-04-18 18:18:55
Dependencies for this build couldn't be processed
complete
2024-04-06 22:59:41
emacs-nox
1:29.2-2.fc39
1:29.3-1.fc39
1
glibc
2.38-16.fc39
2.38-17.fc39
2
expat
2.6.0-1.fc39
2.6.2-1.fc39
2
libtree-sitter
0.21.0-1.fc39
0.22.2-1.fc39
2
emacs-common
1:29.2-2.fc39
1:29.3-1.fc39
2
gnutls
3.8.3-1.fc39
3.8.4-1.fc39
2
glibc-common
2.38-16.fc39
2.38-17.fc39
3
go-srpm-macros
3.4.0-2.fc39
3.5.0-1.fc39
3
emacs-filesystem
1:29.2-2.fc39
1:29.3-1.fc39
3
glibc-minimal-langpack
2.38-16.fc39
2.38-17.fc39
3
libzstd
1.5.5-4.fc39
1.5.6-1.fc39
3
glibc-devel
2.38-16.fc39
2.38-17.fc39
3
glibc-gconv-extra
2.38-16.fc39
2.38-17.fc39
3
atk
2.50.1-1.fc39
2.50.2-1.fc39
3
kernel-headers
6.7.3-200.fc39
6.8.3-200.fc39
4
libtirpc
1.3.4-0.rc2.fc39
1.3.4-1.rc3.fc39
4
at-spi2-atk-devel
2.50.1-1.fc39
2.50.2-1.fc39
4
at-spi2-atk
2.50.1-1.fc39
2.50.2-1.fc39
4
at-spi2-core
2.50.1-1.fc39
2.50.2-1.fc39
4
glibc-headers-x86
2.38-16.fc39
2.38-17.fc39
4
atk-devel
2.50.1-1.fc39
2.50.2-1.fc39
4
at-spi2-core-devel
2.50.1-1.fc39
2.50.2-1.fc39
B
zstd
1.5.5-4.fc39
1.5.6-1.fc39
B
perl-HTML-Parser
3.81-3.fc39
3.82-1.fc39
B
perl-libwww-perl
6.76-1.fc39
6.77-1.fc39
B
libeconf
0.5.2-1.fc39
0.5.2-2.fc39
B
perl-Module-CoreList
1:5.20240223-1.fc39
1:5.20240320-1.fc39
B
Previous history