why3

Package information

State
unknown

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:
  • No suitable SRPM was found
  • Package dependencies were not resolved yet
  • Package has no known build
Tracked by Koschei
True
Current priority
0
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
2024-05-10 08:39:17
gnutls
3.8.5-1.fc41
3.8.5-2.fc41
2
mpfr-devel
4.2.1-3.fc40
4.2.1-4.fc41
2
libstdc++
14.0.1-0.16.fc41
14.1.1-1.fc41
2
fontconfig
2.15.0-4.fc40
2.15.0-5.fc41
2
gcc
14.0.1-0.16.fc41
14.1.1-1.fc41
2
libgccjit
14.0.1-0.16.fc41
14.1.1-1.fc41
2
libgcc
14.0.1-0.16.fc41
14.1.1-1.fc41
2
glib2
2.80.0-1.fc41
2.80.2-1.fc41
2
glib2-devel
2.80.0-1.fc41
2.80.2-1.fc41
3
libgfortran
14.0.1-0.16.fc41
14.1.1-1.fc41
3
annobin-plugin-gcc
12.52-1.fc41
12.53-2.fc41
3
libquadmath
14.0.1-0.16.fc41
14.1.1-1.fc41
3
gcc-plugin-annobin
14.0.1-0.16.fc41
14.1.1-1.fc41
3
fribidi
1.0.13-4.fc40
1.0.14-1.fc41
3
libgomp
14.0.1-0.16.fc41
14.1.1-1.fc41
3
mpfr
4.2.1-3.fc40
4.2.1-4.fc41
3
cpp
14.0.1-0.16.fc41
14.1.1-1.fc41
3
fontconfig-devel
2.15.0-4.fc40
2.15.0-5.fc41
4
fribidi-devel
1.0.13-4.fc40
1.0.14-1.fc41
4
mesa-libgbm
24.1.0~rc2-2.fc41
24.1.0~rc3-4.fc41
4
annobin-docs
12.52-1.fc41
12.53-2.fc41
4
fedora-release
41-0.9
41-0.10
B
perl-Business-ISBN-Data
20240426.001-1.fc41
20240509.001-1.fc41
B
fedora-release-identity-basic
41-0.9
41-0.10
B
mesa-libEGL
24.1.0~rc2-2.fc41
24.1.0~rc3-4.fc41
B
fedora-release-common
41-0.9
41-0.10
B
libusb1
1.0.27-1.fc41
1.0.27-2.fc41
B
mesa-libglapi
24.1.0~rc2-2.fc41
24.1.0~rc3-4.fc41
B
mesa-libGL
24.1.0~rc2-2.fc41
24.1.0~rc3-4.fc41
B
tpm2-tss
4.1.0-1.fc41
4.1.1-1.fc41
B
complete
2024-05-07 05:09:03
rpm-libs
4.19.1.1-1.fc40
4.19.1.1-2.fc41
2
libuuid
2.40-13.fc41
2.40.1-1.fc41
2
python3-babel
2.14.0-1.fc41
2.15.0-1.fc41
2
glibc
2.39.9000-17.fc41
2.39.9000-18.fc41
2
glibc-common
2.39.9000-17.fc41
2.39.9000-18.fc41
3
glibc-minimal-langpack
2.39.9000-17.fc41
2.39.9000-18.fc41
3
rpm
4.19.1.1-1.fc40
4.19.1.1-2.fc41
3
glibc-devel
2.39.9000-17.fc41
2.39.9000-18.fc41
3
libsoup3
3.4.4-3.fc40
3.5.1-1.fc41
3
glibc-gconv-extra
2.39.9000-17.fc41
2.39.9000-18.fc41
3
pcre2
10.43-1.fc41
10.43-2.fc41
3
libmount
2.40-13.fc41
2.40.1-1.fc41
3
util-linux
2.40-13.fc41
2.40.1-1.fc41
3
pcre2-syntax
10.43-1.fc41
10.43-2.fc41
4
rpm-build
4.19.1.1-1.fc40
4.19.1.1-2.fc41
4
libblkid
2.40-13.fc41
2.40.1-1.fc41
4
libsmartcols
2.40-13.fc41
2.40.1-1.fc41
4
pcre2-devel
10.43-1.fc41
10.43-2.fc41
4
mesa-libgbm
24.0.6-2.fc41
24.1.0~rc2-2.fc41
4
kernel-headers
6.9.0-0.rc6.51.fc41
6.9.0-0.rc7.58.fc41
4
libfdisk
2.40-13.fc41
2.40.1-1.fc41
4
glibc-headers-x86
2.39.9000-17.fc41
2.39.9000-18.fc41
4
libmount-devel
2.40-13.fc41
2.40.1-1.fc41
4
util-linux-core
2.40-13.fc41
2.40.1-1.fc41
4
libtracker-sparql
3.7.2-1.fc41
3.7.3-1.fc41
4
mesa-libglapi
24.0.6-2.fc41
24.1.0~rc2-2.fc41
B
mesa-libEGL
24.0.6-2.fc41
24.1.0~rc2-2.fc41
B
rpm-build-libs
4.19.1.1-1.fc40
4.19.1.1-2.fc41
B
hwdata
0.381-1.fc41
0.382-1.fc41
B
pcre2-utf16
10.43-1.fc41
10.43-2.fc41
B
gdb-minimal
14.2-6.fc41
14.2-7.fc41
B
mesa-libGL
24.0.6-2.fc41
24.1.0~rc2-2.fc41
B
libblkid-devel
2.40-13.fc41
2.40.1-1.fc41
B
pcre2-utf32
10.43-1.fc41
10.43-2.fc41
B
complete
2024-05-02 04:21:44
graphviz
10.0.1-1.fc41
11.0.0-1.fc41
1
emacs-nw
1:29.3-8.fc41
1:29.3-10.fc41
1
libgccjit
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
libstdc++
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
sqlite-libs
3.45.2-1.fc41
3.45.3-1.fc41
2
gcc
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
glibc
2.39.9000-16.fc41
2.39.9000-17.fc41
2
libgcc
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
emacs-common
1:29.3-8.fc41
1:29.3-10.fc41
2
libarchive
3.7.2-3.fc41
3.7.4-1.fc41
2
gcc-plugin-annobin
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
emacsclient
1:29.3-10.fc41
3
cpp
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
glibc-common
2.39.9000-16.fc41
2.39.9000-17.fc41
3
grep
3.11-7.fc40
3.11-8.fc41
3
libgomp
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
glibc-gconv-extra
2.39.9000-16.fc41
2.39.9000-17.fc41
3
glibc-minimal-langpack
2.39.9000-16.fc41
2.39.9000-17.fc41
3
glibc-devel
2.39.9000-16.fc41
2.39.9000-17.fc41
3
kernel-headers
6.9.0-0.rc5.44.fc41
6.9.0-0.rc6.51.fc41
4
glibc-headers-x86
2.39.9000-16.fc41
2.39.9000-17.fc41
4
perl-Business-ISBN-Data
20240420.001-1.fc41
20240426.001-1.fc41
B
perl-IO-Compress
2.211-1.fc41
2.212-1.fc41
B
perl-version
8:0.99.30-3.fc40
8:0.99.32-1.fc41
B
perl-Module-CoreList
1:5.20240320-1.fc41
1:5.20240420-1.fc41
B
gdb-minimal
14.2-5.fc41
14.2-6.fc41
B
debugedit
5.0-14.fc40
5.0-15.fc41
B
libgfortran
14.0.1-0.15.fc41
14.0.1-0.16.fc41
B
libquadmath
14.0.1-0.15.fc41
14.0.1-0.16.fc41
B
complete
2024-04-28 17:29:47
emacs-nw
1:29.3-6.fc41
1:29.3-8.fc41
1
systemd-libs
255.4-1.fc41
255.5-1.fc41
2
glibc
2.39.9000-12.fc41
2.39.9000-16.fc41
2
emacs-common
1:29.3-6.fc41
1:29.3-8.fc41
2
libjpeg-turbo
3.0.2-1.fc40
3.0.2-2.fc41
3
default-fonts-core-sans
4.0-12.fc40
4.0-13.fc41
3
libpaper
1:2.1.1-3.fc40
1:2.1.1-5.fc41
3
annobin-plugin-gcc
12.49-1.fc41
12.52-1.fc41
3
glibc-minimal-langpack
2.39.9000-12.fc41
2.39.9000-16.fc41
3
glibc-devel
2.39.9000-12.fc41
2.39.9000-16.fc41
3
glibc-gconv-extra
2.39.9000-12.fc41
2.39.9000-16.fc41
3
glibc-common
2.39.9000-12.fc41
2.39.9000-16.fc41
3
libtracker-sparql
3.7.1-1.fc41
3.7.2-1.fc41
4
mesa-libgbm
24.0.5-1.fc41
24.0.6-2.fc41
4
annobin-docs
12.49-1.fc41
12.52-1.fc41
4
elfutils-libelf
0.191-5.fc41
0.191-7.fc41
4
elfutils-debuginfod-client
0.191-5.fc41
0.191-7.fc41
4
glibc-headers-x86
2.39.9000-12.fc41
2.39.9000-16.fc41
4
kernel-headers
6.9.0-0.rc4.37.fc41
6.9.0-0.rc5.44.fc41
4
cmake-filesystem
3.28.3-1.fc41
3.28.3-4.fc41
4
libgpg-error
1.48-1.fc41
1.49-1.fc41
B
elfutils-libs
0.191-5.fc41
0.191-7.fc41
B
liblockfile
1.17-8.fc40
gdb-minimal
14.2-1.fc41
14.2-5.fc41
B
libgusb
0.4.8-3.fc40
0.4.9-1.fc41
B
libjpeg-turbo-devel
3.0.2-1.fc40
3.0.2-2.fc41
B
elfutils-default-yama-scope
0.191-5.fc41
0.191-7.fc41
B
tpm2-tss
4.0.1-7.fc40
4.1.0-1.fc41
B
mesa-libEGL
24.0.5-1.fc41
24.0.6-2.fc41
B
elfutils
0.191-5.fc41
0.191-7.fc41
B
mesa-libglapi
24.0.5-1.fc41
24.0.6-2.fc41
B
mesa-libGL
24.0.5-1.fc41
24.0.6-2.fc41
B
perl-Compress-Raw-Bzip2
2.211-1.fc41
2.212-1.fc41
B
ed
1.20.1-1.fc41
1.20.2-1.fc41
B
perl-Compress-Raw-Zlib
2.211-1.fc41
2.212-1.fc41
B
complete
2024-04-20 21:56:38
emacs-nw
1:29.3-5.fc41
1:29.3-6.fc41
1
perl-File-Copy
2.41-506.fc40
2.41-507.fc41
2
perl-sigtrap
1.10-506.fc40
1.10-507.fc41
2
perl-FileHandle
2.05-506.fc40
2.05-507.fc41
2
perl-interpreter
4:5.38.2-506.fc40
4:5.38.2-507.fc41
2
perl-File-Basename
2.86-506.fc40
2.86-507.fc41
2
emacs-common
1:29.3-5.fc41
1:29.3-6.fc41
2
perl-libs
4:5.38.2-506.fc40
4:5.38.2-507.fc41
2
gdk-pixbuf2
2.42.10-8.fc40
2.42.11-1.fc41
2
glibc
2.39.9000-10.fc41
2.39.9000-12.fc41
2
perl-File-Find
1.43-506.fc40
1.43-507.fc41
2
perl-DynaLoader
1.54-506.fc40
1.54-507.fc41
3
perl-meta-notation
5.38.2-506.fc40
5.38.2-507.fc41
3
perl-Symbol
1.09-506.fc40
1.09-507.fc41
3
perl-Getopt-Std
1.13-506.fc40
1.13-507.fc41
3
glibc-minimal-langpack
2.39.9000-10.fc41
2.39.9000-12.fc41
3
perl-vars
1.05-506.fc40
1.05-507.fc41
3
glibc-devel
2.39.9000-10.fc41
2.39.9000-12.fc41
3
glibc-gconv-extra
2.39.9000-10.fc41
2.39.9000-12.fc41
3
glibc-common
2.39.9000-10.fc41
2.39.9000-12.fc41
3
perl-overload
1.37-506.fc40
1.37-507.fc41
3
perl-POSIX
2.13-506.fc40
2.13-507.fc41
3
perl-IO
1.52-506.fc40
1.52-507.fc41
3
annobin-plugin-gcc
12.48-1.fc41
12.49-1.fc41
3
perl-Errno
1.37-506.fc40
1.37-507.fc41
3
perl-overloading
0.02-506.fc40
0.02-507.fc41
4
annobin-docs
12.48-1.fc41
12.49-1.fc41
4
perl-File-stat
1.13-506.fc40
1.13-507.fc41
4
perl-SelectSaver
1.02-506.fc40
1.02-507.fc41
4
gdk-pixbuf2-devel
2.42.10-8.fc40
2.42.11-1.fc41
4
glibc-headers-x86
2.39.9000-10.fc41
2.39.9000-12.fc41
4
perl-mro
1.28-506.fc40
1.28-507.fc41
4
gdk-pixbuf2-modules
2.42.10-8.fc40
2.42.11-1.fc41
4
perl-locale
1.10-506.fc40
1.10-507.fc41
4
perl-Fcntl
1.15-506.fc40
1.15-507.fc41
4
perl-base
2.27-506.fc40
2.27-507.fc41
4
perl-English
1.11-506.fc40
1.11-507.fc41
B
perl-Business-ISBN-Data
20240413.001-1.fc41
20240420.001-1.fc41
B
perl-Hash-Util-FieldHash
1.26-506.fc40
1.26-507.fc41
B
perl-I18N-Langinfo
0.22-506.fc40
0.22-507.fc41
B
perl-Safe
2.44-506.fc40
2.44-507.fc41
B
perl-Locale-Maketext-Simple
1:0.21-506.fc40
1:0.21-507.fc41
B
perl-File-Compare
1.100.700-506.fc40
1.100.700-507.fc41
B
perl-Math-Complex
1.62-506.fc40
1.62-507.fc41
B
perl-Tie
4.6-506.fc40
4.6-507.fc41
B
perl-DateTime-Locale
1.41-1.fc41
1.42-1.fc41
B
perl-AutoLoader
5.74-506.fc40
5.74-507.fc41
B
perl-deprecate
0.04-506.fc40
0.04-507.fc41
B
perl-subs
1.04-506.fc40
1.04-507.fc41
B
perl-Class-Struct
0.68-506.fc40
0.68-507.fc41
B
perl-Unicode-UCD
0.78-506.fc40
0.78-507.fc41
B
perl-I18N-LangTags
0.45-506.fc40
0.45-507.fc41
B
perl-if
0.61.000-506.fc40
0.61.000-507.fc41
B
perl-IPC-Open3
1.22-506.fc40
1.22-507.fc41
B
perl-open
1.13-506.fc40
1.13-507.fc41
B
perl-Sys-Hostname
1.25-506.fc40
1.25-507.fc41
B
perl-Opcode
1.64-506.fc40
1.64-507.fc41
B
perl-B
1.88-506.fc40
1.88-507.fc41
B
perl-Pod-Html
1.34-506.fc40
1.34-507.fc41
B
Real build: why3-1.7.2-1.fc41
python3
3.12.3-1.fc41
3.12.3-2.fc41
2
emacs-filesystem
1:29.3-5.fc41
1:30.0-2.fc41
3
python3-libs
3.12.3-1.fc41
3.12.3-2.fc41
3
libaom
3.8.2-1.fc41
3.8.2-2.fc41
4
complete
2024-04-17 10:11:47
urw-base35-fonts
20200910-19.fc40
20200910-20.fc41
2
libwebp
1.3.2-5.fc41
1.4.0-1.fc41
2
libtree-sitter
0.22.2-1.fc41
0.22.5-1.fc41
2
urw-base35-nimbus-sans-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-z003-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-standard-symbols-ps-fonts
20200910-19.fc40
20200910-20.fc41
3
libavif
1.0.4-1.fc41
1.0.4-2.fc41
3
urw-base35-bookman-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-c059-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-p052-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-fonts-common
20200910-19.fc40
20200910-20.fc41
3
urw-base35-d050000l-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-nimbus-roman-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-nimbus-mono-ps-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-gothic-fonts
20200910-19.fc40
20200910-20.fc41
3
ansible-srpm-macros
1-14.fc40
1-15.fc41
3
libxcb
1.16.1-1.fc41
1.17.0-1.fc41
3
libXmu
1.2.0-1.fc41
1.2.1-1.fc41
3
kernel-headers
6.9.0-0.rc3.30.fc41
6.9.0-0.rc4.37.fc41
4
libxcb-devel
1.16.1-1.fc41
1.17.0-1.fc41
4
perl-Socket
4:2.037-5.fc40
4:2.038-1.fc41
4
fedora-release
41-0.6
41-0.9
B
perl-Business-ISBN-Data
20240323.001-1.fc41
20240413.001-1.fc41
B
dbus-broker
35-4.fc40
36-2.fc41
B
libwebp-devel
1.3.2-5.fc41
1.4.0-1.fc41
B
fedora-release-common
41-0.6
41-0.9
B
fedora-release-identity-basic
41-0.6
41-0.9
B
complete
2024-04-14 08:50:00
python3
3.12.2-3.fc41
3.12.3-1.fc41
2
librsvg2
2.57.1-4.fc40
2.57.1-5.fc41
2
python3-requests
2.31.0-3.fc40
2.31.0-4.fc41
2
redhat-rpm-config
287-1.fc41
288-1.fc41
2
pango
1.51.2-1.fc41
1.52.2-1.fc41
2
libgccjit
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
gcc
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
libgcc
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
libstdc++
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
cpp
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
gcc-plugin-annobin
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
python3-libs
3.12.2-3.fc41
3.12.3-1.fc41
3
forge-srpm-macros
0.3.0-1.fc41
0.3.1-1.fc41
3
filesystem
3.18-8.fc40
3.18-9.fc41
3
libgomp
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
rsvg-pixbuf-loader
2.57.1-4.fc40
2.57.1-5.fc41
3
go-srpm-macros
3.5.0-1.fc41
3.6.0-1.fc41
3
python3-idna
3.6-3.fc40
3.7-1.fc41
3
mesa-libgbm
24.0.4-1.fc41
24.0.5-1.fc41
4
pango-devel
1.51.2-1.fc41
1.52.2-1.fc41
4
libquadmath
14.0.1-0.13.fc41
14.0.1-0.15.fc41
B
libgfortran
14.0.1-0.13.fc41
14.0.1-0.15.fc41
B
mesa-libEGL
24.0.4-1.fc41
24.0.5-1.fc41
B
mesa-libGL
24.0.4-1.fc41
24.0.5-1.fc41
B
mesa-libglapi
24.0.4-1.fc41
24.0.5-1.fc41
B
Previous history