emacs-common-proofgeneral

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

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

emacs-nw
1:30.1-13.fc43
1:30.1-18.fc43
1
emacs-common
1:30.1-13.fc43
1:30.1-18.fc43
2
glib2
2.84.0-1.fc43
2.84.1-1.fc43
2
glibc
2.41.9000-7.fc43
2.41.9000-8.fc43
2
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-8.fc43
3
glibc-common
2.41.9000-7.fc43
2.41.9000-8.fc43
3
emacsclient
1:30.1-13.fc43
1:30.1-18.fc43
3
libffi
3.4.7-3.fc43
3.4.7-4.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-8.fc43
3
perl-Scalar-List-Utils
5:1.68-2.fc42
5:1.69-1.fc43
4
harfbuzz
11.0.0-1.fc43
11.0.1-2.fc43
4
glibc-devel
2.41.9000-7.fc43
2.41.9000-8.fc43
4
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
4
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
B
perl-Module-Runtime
0.016-24.fc42
0.017-1.fc43
B
redhat-rpm-config
342-2.fc42
343-3.fc43
B
perl-DateTime-Locale
1.44-2.fc42
1.45-1.fc43
B

State overview

Groups

perl-users

Most recent builds

complete
131084699
2025-04-04 05:10:35
aarch64
└131084767 ( build.log | root.log )
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
libgccjit
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
2
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
2
filesystem
3.18-38.fc43
3.18-39.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-7.fc43
3
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
3
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
3
libffi
3.4.7-2.fc43
3.4.7-3.fc43
3
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
perl-Pod-Usage
4:2.04-1.fc43
4:2.05-1.fc43
4
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
4
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
B
expat
2.7.0-1.fc43
2.7.1-1.fc43
B
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
B
patch
2.7.6-26.fc42
2.8-1.fc43
B
fedora-release
43-0.8
43-0.10
B
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
perl-Math-BigInt
1:2.0050.01-1.fc43
1:2.0050.02-1.fc43
B
fedora-release-common
43-0.8
43-0.10
B
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
B
fedora-release-identity-basic
43-0.8
43-0.10
B
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
B
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
B
complete
130892891
2025-03-30 00:09:23
ppc64le
└130892939 ( build.log | root.log )
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
libcurl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
2
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
openssl-libs
1:3.5.0-1.fc43
1:3.5.0-2.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
openldap
2.6.9-3.fc42
2.6.9-5.fc43
3
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
3
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
curl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
4
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
4
perl-Pod-Usage
4:2.03-512.fc42
4:2.04-1.fc43
4
harfbuzz
10.4.0-1.fc43
11.0.0-1.fc43
4
perl-Net-SSLeay
1.94-8.fc42
1.94-9.fc43
B
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
B
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
fedora-release-identity-basic
43-0.7
43-0.8
B
kernel-headers
6.14.0-0.rc7.56.fc43
6.14.0-63.fc43
B
fedora-release-common
43-0.7
43-0.8
B
python-srpm-macros
3.13-4.fc42
3.13-5.fc43
B
gdb-minimal
16.2-1.fc43
16.2-3.fc43
B
perl-Module-CoreList
1:5.20250220-1.fc43
1:5.20250321-1.fc43
B
fedora-release
43-0.7
43-0.8
B
perl-Math-BigInt
1:2.0040.01-1.fc43
1:2.0050.01-1.fc43
B
diffutils
3.10-9.fc42
3.11-3.fc43
B
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
B
perl-DateTime-TimeZone
2.64-1.fc42
2.65-1.fc43
B
complete
130604362
2025-03-22 15:04:06
s390x
└130604481 ( build.log | root.log )
desktop-file-utils
0.27-3.fc42
0.28-1.fc43
1
emacs-nw
1:30.1-10.fc43
1:30.1-13.fc43
1
libgccjit
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
libgcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
libcurl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
2
emacs-common
1:30.1-10.fc43
1:30.1-13.fc43
2
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
3
emacsclient
1:30.1-10.fc43
1:30.1-13.fc43
3
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-1.fc43
3
gcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
libstdc++
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
4
curl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
4
setup
2.15.0-14.fc43
2.15.0-23.fc43
4
cpp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
libgomp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
B
annobin-docs
12.92-1.fc43
12.93-1.fc43
B
perl-ExtUtils-MM-Utils
2:7.70-513.fc42
2:7.72-1.fc43
B
perl-Business-ISBN-Data
20250309.001-1.fc43
20250322.001-1.fc43
B
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-0.rc7.56.fc43
B
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
B
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
B
gcc-plugin-annobin
15.0.1-0.9.fc43
15.0.1-0.10.fc43
B
complete
130272992
2025-03-14 19:41:02
s390x
└130273111 ( build.log | root.log )
emacs-nw
1:30.1-5.fc43
1:30.1-10.fc43
1
systemd-libs
257.4-1.fc43
257.4-3.fc43
2
libxml2
2.12.9-2.fc42
2.12.10-1.fc43
2
libcurl
8.12.1-1.fc43
8.13.0~rc1-2.fc43
2
alternatives
1.31-3.fc42
1.32-1.fc43
2
libarchive
3.7.7-3.fc43
3.7.7-4.fc43
2
emacs-common
1:30.1-5.fc43
1:30.1-10.fc43
2
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
3
libffi
3.4.7-1.fc43
3.4.7-2.fc43
3
emacsclient
1:30.1-5.fc43
1:30.1-10.fc43
3
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
3
systemd-standalone-sysusers
257.4-1.fc43
257.4-3.fc43
3
curl
8.12.1-1.fc43
8.13.0~rc1-2.fc43
4
setup
2.15.0-13.fc43
2.15.0-14.fc43
4
fontconfig
2.16.0-2.fc42
2.16.1-1.fc43
4
expat
2.6.4-2.fc42
2.7.0-1.fc43
B
fedora-release-identity-basic
43-0.6
43-0.7
B
perl-Business-ISBN-Data
20250226.001-1.fc43
20250309.001-1.fc43
B
libxslt
1.1.42-4.fc42
1.1.43-1.fc43
B
perltidy
20250214-1.fc43
20250311-1.fc43
B
tree-sitter-srpm-macros
0.1.0-10.fc43
0.2.0-1.fc43
B
fedora-release-common
43-0.6
43-0.7
B
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc6.49.fc43
B
efi-srpm-macros
6-2.fc42
6-3.fc43
B
fedora-release
43-0.6
43-0.7
B
complete
129942427
2025-03-07 12:20:24
ppc64le
└129942540 ( build.log | root.log )
glib2
2.83.2-6.fc42
2.84.0-1.fc43
2
gnutls
3.8.9-4.fc43
3.8.9-5.fc43
2
glibc
2.41.9000-1.fc43
2.41.9000-2.fc43
2
libgccjit
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libtree-sitter
0.25.2-3.fc43
0.25.2-8.fc43
2
systemd-libs
257.3-7.fc43
257.4-1.fc43
2
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
3
libffi
3.4.6-5.fc42
3.4.7-1.fc43
3
glibc-minimal-langpack
2.41.9000-1.fc43
2.41.9000-2.fc43
3
systemd-standalone-sysusers
257.3-7.fc43
257.4-1.fc43
3
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
3
glibc-common
2.41.9000-1.fc43
2.41.9000-2.fc43
3
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
3
glibc-gconv-extra
2.41.9000-1.fc43
2.41.9000-2.fc43
3
gcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
glibc-devel
2.41.9000-1.fc43
2.41.9000-2.fc43
4
cpp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
harfbuzz
10.3.0-1.fc43
10.4.0-1.fc43
4
setup
2.15.0-12.fc43
2.15.0-13.fc43
4
libgomp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
annobin-docs
12.88-1.fc42
12.92-1.fc43
B
perl-Date-Manip
6.96-2.fc42
6.97-1.fc43
B
fedora-release
43-0.5
43-0.6
B
google-noto-fonts-common
20250201-1.fc43
20250301-1.fc43
B
perl-Math-BigInt
1:2.0030.04-1.fc42
1:2.0040.01-1.fc43
B
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
B
gcc-plugin-annobin
15.0.1-0.8.fc43
15.0.1-0.9.fc43
B
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
B
readline
8.2-12.fc42
8.2-13.fc43
B
tree-sitter-srpm-macros
0.1.0-8.fc42
0.1.0-10.fc43
B
kernel-headers
6.14.0-0.rc4.36.fc43
6.14.0-0.rc5.43.fc43
B
fedora-release-identity-basic
43-0.5
43-0.6
B
fedora-release-common
43-0.5
43-0.6
B
complete
129667408
2025-02-28 00:24:14
ppc64le
└129667514 ( build.log | root.log )
emacs-nw
1:29.4-49.fc42
1:30.1-5.fc43
1
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc43
2
libgcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
libtree-sitter
0.24.7-2.fc42
0.25.2-3.fc43
2
libgccjit
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
2
libarchive
3.7.7-2.fc42
3.7.7-3.fc43
2
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
emacs-common
1:29.4-49.fc42
1:30.1-5.fc43
2
libuuid
2.40.4-6.fc43
2.40.4-7.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
rpm
4.20.0-8.fc42
4.20.1-1.fc43
3
emacsclient
1:29.4-49.fc42
1:30.1-5.fc43
3
libpng
2:1.6.46-1.fc43
2:1.6.47-1.fc43
3
libmount
2.40.4-6.fc43
2.40.4-7.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
openssl-libs
1:3.2.4-1.fc43
1:3.2.4-2.fc43
3
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
3
gcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
libgomp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
4
libblkid
2.40.4-6.fc43
2.40.4-7.fc43
4
libstdc++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
4
coreutils-common
9.6-1.fc42
9.6-2.fc43
4
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
4
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
4
cpp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
4
perl-Business-ISBN-Data
20250205.001-1.fc43
20250226.001-1.fc43
B
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
B
perl-libwww-perl
6.77-3.fc42
6.78-1.fc43
B
zstd
1.5.6-3.fc42
1.5.7-1.fc43
B
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc43
B
perl-DateTime
2:1.65-7.fc42
2:1.66-1.fc43
B
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.8.fc43
B
libfdisk
2.40.4-6.fc43
2.40.4-7.fc43
B
fedora-release
43-0.2
43-0.5
B
fedora-release-common
43-0.2
43-0.5
B
perl-Specio
0.49-2.fc42
0.50-1.fc43
B
rpm-build
4.20.0-8.fc42
4.20.1-1.fc43
B
debugedit
5.1-4.fc42
5.1-5.fc43
B
perl-Module-CoreList
1:5.20250120-1.fc42
1:5.20250220-1.fc43
B
fedora-release-identity-basic
43-0.2
43-0.5
B
kernel-headers
6.14.0-0.rc3.29.fc43
6.14.0-0.rc4.36.fc43
B
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
B
util-linux-core
2.40.4-6.fc43
2.40.4-7.fc43
B
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc43
B
2025-02-20 20:21:49
Package dependencies resolved successfuly
2025-02-20 18:59:21
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues