why3

Package information

State
ok

Scheduler parameters

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

libraqm
0.7.0-6.fc33
0.7.2-1.fc33
3
netpbm
10.95.00-1.fc33
10.96.00-1.fc33
3
audit-libs
3.0.5-1.fc33
3.0.6-1.fc33
3
gdb-minimal
10.2-1.fc33
10.2-3.fc33
B
perl-DateTime-TimeZone
2.47-1.fc33
2.49-1.fc33
B
latexmk
4.74b-1.fc33
4.75-1.fc33
1
webkit2gtk3
2.32.3-1.fc33
2.32.4-1.fc33
2
webkit2gtk3-jsc
2.32.3-1.fc33
2.32.4-1.fc33
2
libxcrypt
4.4.25-1.fc33
4.4.26-2.fc33
3
curl
7.71.1-10.fc33
7.71.1-11.fc33
4
libxcrypt-devel
4.4.25-1.fc33
4.4.26-2.fc33
4
tzdata
2021a-1.fc33
2021b-1.fc33
4
kernel-headers
5.14.7-100.fc33
5.14.9-100.fc33
4
nss
3.69.0-1.fc33
3.71.0-1.fc33
B
nss-softokn-freebl
3.69.0-1.fc33
3.71.0-1.fc33
B
libssh-config
0.9.5-1.fc33
0.9.6-1.fc33
B
perl-libwww-perl
6.56-1.fc33
6.57-1.fc33
B
libcurl
7.71.1-10.fc33
7.71.1-11.fc33
B
nss-softokn
3.69.0-1.fc33
3.71.0-1.fc33
B
libssh
0.9.5-1.fc33
0.9.6-1.fc33
B
nss-util
3.69.0-1.fc33
3.71.0-1.fc33
B
nss-sysinit
3.69.0-1.fc33
3.71.0-1.fc33
B
perl-Module-CoreList
1:5.20210820-1.fc33
1:5.20210920-1.fc33
B
libgs
9.53.3-6.fc33
9.54.0-2.1.fc33
2
openssl-libs
1:1.1.1l-1.fc33
1:1.1.1l-2.fc33
2
urw-base35-fonts
20200910-5.fc33
20200910-6.fc33
2
ghostscript
9.53.3-6.fc33
9.54.0-2.1.fc33
2
urw-base35-c059-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-standard-symbols-ps-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-gothic-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-nimbus-roman-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-nimbus-sans-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-bookman-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-d050000l-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-nimbus-mono-ps-fonts
20200910-5.fc33
20200910-6.fc33
3
urw-base35-fonts-common
20200910-5.fc33
20200910-6.fc33
3
ghostscript-tools-printing
9.53.3-6.fc33
9.54.0-2.1.fc33
3
urw-base35-p052-fonts
20200910-5.fc33
20200910-6.fc33
3
perl-Digest
1.19-1.fc33
1.20-1.fc33
3
ghostscript-tools-fonts
9.53.3-6.fc33
9.54.0-2.1.fc33
3
urw-base35-z003-fonts
20200910-5.fc33
20200910-6.fc33
3
kernel-headers
5.13.3-100.fc33
5.14.7-100.fc33
4
openssl-libs
1:1.1.1k-1.fc33
1:1.1.1l-1.fc33
2
python3
3.9.6-2.fc33
3.9.7-1.fc33
2
pango
1.48.4-1.fc33
1.48.4-2.fc33
2
python3-libs
3.9.6-2.fc33
3.9.7-1.fc33
3
python-pip-wheel
20.2.2-2.fc33
20.2.2-3.fc33
4
pango-devel
1.48.4-1.fc33
1.48.4-2.fc33
4
hwdata
0.350-1.fc33
0.351-1.fc33
B
cracklib
2.9.6-24.fc33
2.9.6-27.fc33
B
redhat-rpm-config
176-1.fc33
176-3.fc33
2
libwebp
1.2.0-1.fc33
1.2.1-1.fc33
2
perl-Module-CoreList
1:5.20210723-1.fc33
1:5.20210820-1.fc33
B
shadow-utils
2:4.8.1-6.fc33
2:4.8.1-7.fc33
B
libX11-xcb
1.6.12-3.fc33
1.7.2-3.fc33
2
libX11
1.6.12-3.fc33
1.7.2-3.fc33
2
krb5-libs
1.18.2-30.fc33
1.18.2-31.fc33
3
audit-libs
3.0.3-1.fc33
3.0.5-1.fc33
3
perl-Encode
4:3.08-458.fc33
4:3.08-459.fc33
3
libxcrypt
4.4.23-1.fc33
4.4.25-1.fc33
3
libX11-common
1.6.12-3.fc33
1.7.2-3.fc33
3
libxcrypt-devel
4.4.23-1.fc33
4.4.25-1.fc33
4
libX11-devel
1.6.12-3.fc33
1.7.2-3.fc33
4
perl-GSSAPI
0.28-32.fc33
0.28-34.fc33
B
perl-libwww-perl
6.55-1.fc33
6.56-1.fc33
B
perl-encoding
4:3.00-458.fc33
4:3.00-459.fc33
B
rpmautospec-rpm-macros
0.2.3-1.fc33
0.2.5-1.fc33
3
avahi-libs
0.8-7.fc33
0.8-14.fc33
4
hwdata
0.349-1.fc33
0.350-1.fc33
B
perl-HTTP-Tiny
0.076-457.fc33
0.078-1.fc33
B
webkit2gtk3
2.32.1-1.fc33
2.32.3-1.fc33
2
webkit2gtk3-jsc
2.32.1-1.fc33
2.32.3-1.fc33
2
libmanette
0.2.6-1.fc33
3
libgudev
234-1.fc33
4
curl
7.71.1-9.fc33
7.71.1-10.fc33
4
libevdev
1.11.0-1.fc33
4
nss
3.67.0-1.fc33
3.69.0-1.fc33
B
nspr
4.31.0-1.fc33
4.32.0-1.fc33
B
libmetalink
0.1.3-13.fc33
nss-softokn-freebl
3.67.0-1.fc33
3.69.0-1.fc33
B
nss-sysinit
3.67.0-1.fc33
3.69.0-1.fc33
B
perl-Module-CoreList
1:5.20210620-1.fc33
1:5.20210723-1.fc33
B
nss-util
3.67.0-1.fc33
3.69.0-1.fc33
B
libcurl
7.71.1-9.fc33
7.71.1-10.fc33
B
nss-softokn
3.67.0-1.fc33
3.69.0-1.fc33
B
Previous history