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
2105
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

libuuid
2.40.4-5.fc43
2.40.4-6.fc43
2
libcurl
8.12.0-1.fc43
8.12.1-1.fc43
2
zlib-ng-compat
2.2.3-2.fc42
2.2.4-1.fc43
2
systemd-libs
257.2-17.fc42
257.3-3.fc43
2
gnutls
3.8.8-2.fc42
3.8.9-2.fc43
2
libmount
2.40.4-5.fc43
2.40.4-6.fc43
3
libtasn1
4.19.0-11.fc42
4.20.0-1.fc43
3
systemd
257.2-17.fc42
257.3-3.fc43
3
openssl-libs
1:3.2.2-14.fc42
1:3.2.4-1.fc43
3
libblkid
2.40.4-5.fc43
2.40.4-6.fc43
4
systemd-pam
257.2-17.fc42
257.3-3.fc43
4
setup
2.15.0-10.fc42
2.15.0-12.fc43
4
curl
8.12.0-1.fc43
8.12.1-1.fc43
4
systemd-rpm-macros
257.2-17.fc42
257.3-3.fc43
4
util-linux
2.40.4-5.fc43
2.40.4-6.fc43
4
util-linux-core
2.40.4-5.fc43
2.40.4-6.fc43
4
libfdisk
2.40.4-5.fc43
2.40.4-6.fc43
4
libxcrypt
4.4.38-4.fc43
4.4.38-5.fc43
4
libeconf
0.7.5-2.fc42
0.7.6-1.fc43
B
gdb-minimal
15.2-7.fc42
16.2-1.fc43
B
google-noto-sans-vf-fonts
20250101-2.fc42
20250201-1.fc43
B
libsmartcols
2.40.4-5.fc43
2.40.4-6.fc43
B
perltidy
20250105-2.fc42
20250214-1.fc43
B
build-reproducibility-srpm-macros
0.5.0-2.fc42
0.6.0-1.fc43
B
add-determinism
0.5.0-2.fc42
0.6.0-1.fc43
B
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc2.22.fc43
B
libxcrypt-devel
4.4.38-4.fc43
4.4.38-5.fc43
B
google-noto-fonts-common
20250101-2.fc42
20250201-1.fc43
B

State overview

Groups

perl-users

Historical builds

2025-01-14 14:24:01
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543271
complete
127735384
2025-01-10 10:34:32
s390x
└127735451 ( build.log | root.log )
perl-macros
4:5.40.0-512.fc42
4:5.40.0-513.fc42
2
systemd-libs
257.1-1.fc42
257.2-1.fc42
2
perl-File-Basename
2.86-512.fc42
2.86-513.fc42
2
libselinux
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
2
glibc
2.40.9000-26.fc42
2.40.9000-27.fc42
2
perl-interpreter
4:5.40.0-512.fc42
4:5.40.0-513.fc42
2
zlib-ng-compat
2.2.2-1.fc42
2.2.3-1.fc42
2
perl-IPC-Open3
1.22-512.fc42
1.22-513.fc42
3
glibc-common
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-vars
1.05-512.fc42
1.05-513.fc42
3
perl-if
0.61.000-512.fc42
0.61.000-513.fc42
3
perl-DynaLoader
1.56-512.fc42
1.56-513.fc42
3
glibc-minimal-langpack
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-POSIX
2.20-512.fc42
2.20-513.fc42
3
openldap
2.6.8-6.fc42
2.6.9-1.fc42
3
perl-Symbol
1.09-512.fc42
1.09-513.fc42
3
perl-File-Copy
2.41-512.fc42
2.41-513.fc42
3
glibc-gconv-extra
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-libs
4:5.40.0-512.fc42
4:5.40.0-513.fc42
3
openssl-libs
1:3.2.2-10.fc42
1:3.2.2-11.fc42
3
perl-B
1.89-512.fc42
1.89-513.fc42
4
perl-overload
1.37-512.fc42
1.37-513.fc42
4
libxcrypt
4.4.37-2.fc42
4.4.37-4.fc42
4
perl-Getopt-Std
1.14-512.fc42
1.14-513.fc42
4
perl-FileHandle
2.05-512.fc42
2.05-513.fc42
4
perl-IO
1.55-512.fc42
1.55-513.fc42
4
glibc-devel
2.40.9000-26.fc42
2.40.9000-27.fc42
4
perl-Fcntl
1.18-512.fc42
1.18-513.fc42
4
perl-File-Find
1.44-512.fc42
1.44-513.fc42
4
perl-base
2.27-512.fc42
2.27-513.fc42
4
perl-Errno
1.38-512.fc42
1.38-513.fc42
4
perl-locale
1.12-512.fc42
1.12-513.fc42
4
libcom_err
1.47.1-6.fc42
1.47.2-1.fc42
4
kernel-headers
6.13.0-0.rc5.42.fc42
6.13.0-0.rc6.48.fc42
B
filesystem-srpm-macros
3.18-29.fc42
B
perl-Math-Complex
1.62-512.fc42
1.62-513.fc42
B
perl-Business-ISBN
3.009-5.fc41
3.011-1.fc42
B
libxcrypt-devel
4.4.37-2.fc42
4.4.37-4.fc42
B
google-noto-fonts-common
20240901-1.fc42
20250101-1.fc42
B
perl-subs
1.04-512.fc42
1.04-513.fc42
B
perl-I18N-Langinfo
0.24-512.fc42
0.24-513.fc42
B
perl-I18N-LangTags
0.45-512.fc42
0.45-513.fc42
B
perl-meta-notation
5.40.0-512.fc42
5.40.0-513.fc42
B
google-noto-sans-vf-fonts
20240901-1.fc42
20250101-1.fc42
B
perl-SelectSaver
1.02-512.fc42
1.02-513.fc42
B
perl-Tie-Cycle
1.228-3.fc41
1.229-1.fc42
B
perl-File-Compare
1.100.800-512.fc42
1.100.800-513.fc42
B
libicu
76.1-1.fc42
76.1-2.fc42
B
perl-Business-ISBN-Data
20241224.001-1.fc42
20250109.001-1.fc42
B
redhat-rpm-config
296-1.fc42
300-1.fc42
B
perl-Hash-Util-FieldHash
1.27-512.fc42
1.27-513.fc42
B
audit-libs
4.0.2-1.fc41
4.0.3-1.fc42
B
perl-Locale-Maketext-Simple
1:0.21-512.fc42
1:0.21-513.fc42
B
perl-File-stat
1.14-512.fc42
1.14-513.fc42
B
perl-Sys-Hostname
1.25-512.fc42
1.25-513.fc42
B
fedora-release-identity-basic
42-0.11
42-0.12
B
perl-Safe
2.46-512.fc42
2.46-513.fc42
B
perl-Tie
4.6-512.fc42
4.6-513.fc42
B
perl-Opcode
1.65-512.fc42
1.65-513.fc42
B
perl-Class-Struct
0.68-512.fc42
0.68-513.fc42
B
perl-Pod-Html
1.35-512.fc42
1.35-513.fc42
B
ed
1.20.2-2.fc41
1.21-1.fc42
B
perl-overloading
0.02-512.fc42
0.02-513.fc42
B
perl-deprecate
0.04-512.fc42
0.04-513.fc42
B
perl-open
1.13-512.fc42
1.13-513.fc42
B
perl-mro
1.29-512.fc42
1.29-513.fc42
B
perl-English
1.11-512.fc42
1.11-513.fc42
B
perltidy
20240903-1.fc42
20250105-1.fc42
B
fedora-release
42-0.11
42-0.12
B
perl-Unicode-UCD
0.78-512.fc42
0.78-513.fc42
B
perl-AutoLoader
5.74-512.fc42
5.74-513.fc42
B
pyproject-srpm-macros
1.16.3-1.fc42
1.16.4-1.fc42
B
fedora-release-common
42-0.11
42-0.12
B
perl-sigtrap
1.10-512.fc42
1.10-513.fc42
B
complete
127531348
2025-01-04 05:36:23
aarch64
└127531426 ( build.log | root.log )
emacs-nw
1:29.4-44.fc42
1:29.4-46.fc42
1
emacs-common
1:29.4-44.fc42
1:29.4-46.fc42
2
glibc
2.40.9000-24.fc42
2.40.9000-26.fc42
2
glibc-gconv-extra
2.40.9000-24.fc42
2.40.9000-26.fc42
3
openssl-libs
1:3.2.2-8.fc42
1:3.2.2-10.fc42
3
emacsclient
1:29.4-44.fc42
1:29.4-46.fc42
3
glibc-minimal-langpack
2.40.9000-24.fc42
2.40.9000-26.fc42
3
libjpeg-turbo
3.0.4-1.fc42
3.1.0-1.fc42
3
glibc-common
2.40.9000-24.fc42
2.40.9000-26.fc42
3
glibc-devel
2.40.9000-24.fc42
2.40.9000-26.fc42
4
setup
2.15.0-8.fc42
2.15.0-9.fc42
4
libxcrypt
4.4.36-12.fc42
4.4.37-2.fc42
4
libxcrypt-devel
4.4.36-12.fc42
4.4.37-2.fc42
B
xxhash-libs
0.8.2-4.fc42
0.8.3-1.fc42
B
kernel-headers
6.13.0-0.rc4.36.fc42
6.13.0-0.rc5.42.fc42
B
libtirpc
1.3.6-1.fc42
1.3.6-1.rc3.fc42
B
perl-Module-CoreList
1:5.20241120-1.fc42
1:5.20241220-1.fc42
B
complete
127308141
2024-12-28 00:06:32
aarch64
└127308202 ( build.log | root.log )
systemd-libs
257-1.fc42
257.1-1.fc42
2
libselinux
3.8-0.rc1.2.fc42
3.8-0.rc3.1.fc42
2
alternatives
1.30-1.fc41
1.31-1.fc42
2
libxml2
2.12.8-2.fc41
2.12.9-1.fc42
2
libsepol
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
3
shadow-utils
2:4.17.0~rc1-1.fc42
2:4.17.0-2.fc42
4
libxcrypt
4.4.36-11.fc42
4.4.36-12.fc42
4
setup
2.15.0-5.fc41
2.15.0-8.fc42
4
ca-certificates
2024.2.69_v8.0.401-3.fc42
2024.2.69_v8.0.401-4.fc42
4
perl-Specio
0.48-7.fc41
0.49-1.fc42
B
perl-Business-ISBN-Data
20241206.001-1.fc42
20241224.001-1.fc42
B
kernel-headers
6.13.0-0.rc3.29.fc42
6.13.0-0.rc4.36.fc42
B
annobin-plugin-gcc
12.79-1.fc42
12.80-1.fc42
B
annobin-docs
12.79-1.fc42
12.80-1.fc42
B
libxcrypt-devel
4.4.36-11.fc42
4.4.36-12.fc42
B
libsemanage
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
B
add-determinism
0.4.3-1.fc42
0.5.0-1.fc42
B
build-reproducibility-srpm-macros
0.4.3-1.fc42
0.5.0-1.fc42
B
complete
126967756
2024-12-18 00:09:25
s390x
└126967842 ( build.log | root.log )
glibc
2.40.9000-21.fc42
2.40.9000-24.fc42
2
libcurl
8.10.1-2.fc42
8.11.1-2.fc42
2
systemd-libs
257~rc3-1.fc42
257-1.fc42
2
sqlite-libs
3.47.1-1.fc42
3.47.2-1.fc42
2
glib2
2.83.0-2.fc42
2.83.0-3.fc42
2
json-glib
1.10.0-1.fc42
1.10.6-1.fc42
2
dbus-libs
1:1.14.10-4.fc41
1:1.16.0-1.fc42
2
glibc-common
2.40.9000-21.fc42
2.40.9000-24.fc42
3
glibc-gconv-extra
2.40.9000-21.fc42
2.40.9000-24.fc42
3
glibc-minimal-langpack
2.40.9000-21.fc42
2.40.9000-24.fc42
3
perl-parent
1:0.243-1.fc42
1:0.244-1.fc42
4
glibc-devel
2.40.9000-21.fc42
2.40.9000-24.fc42
4
curl
8.10.1-2.fc42
8.11.1-2.fc42
4
shadow-utils
2:4.16.0-7.fc42
2:4.17.0~rc1-1.fc42
4
zip
3.0-41.fc41
3.0-42.fc42
B
libSM
1.2.4-4.fc41
1.2.5-1.fc42
B
qt6-srpm-macros
6.8.1-3.fc42
6.8.1-4.fc42
B
annobin-plugin-gcc
12.77-1.fc42
12.79-1.fc42
B
annobin-docs
12.77-1.fc42
12.79-1.fc42
B
kernel-headers
6.13.0-0.rc1.e70140b...
6.13.0-0.rc3.29.fc42
B
libXau
1.0.11-7.fc41
1.0.12-1.fc42
B
gdb-minimal
15.2-3.fc42
15.2-4.fc42
B
libICE
1.1.1-4.fc41
1.1.2-1.fc42
B
libeconf
0.7.4-3.fc42
0.7.5-1.fc42
B
complete
126634721
2024-12-09 06:29:11
x86_64
└126634800 ( build.log | root.log )
texlive-texlive-scripts-extra
11:svn62517-86.fc42
11:svn62517-87.fc42
2
texlive-base
11:20230311-86.fc42
11:20230311-87.fc42
2
texlive-latex
11:svn65161-86.fc42
11:svn65161-87.fc42
2
texlive-kpathsea
11:svn66209-86.fc42
11:svn66209-87.fc42
2
libselinux
3.7-7.fc42
3.8-0.rc1.2.fc42
2
texlive-dvips
11:svn66203-86.fc42
11:svn66203-87.fc42
3
texlive-pdftex
11:svn66243-86.fc42
11:svn66243-87.fc42
3
texlive-makeindex
11:svn62517-86.fc42
11:svn62517-87.fc42
3
texlive-lib
11:20230311-86.fc42
11:20230311-87.fc42
3
rpm-sequoia
1.7.0-2.fc41
1.7.0-3.fc42
3
texlive-glyphlist
11:svn54074-86.fc42
11:svn54074-87.fc42
3
texlive-luahbtex
11:svn66186-86.fc42
11:svn66186-87.fc42
3
texlive-texlive.infra
11:svn66512-86.fc42
11:svn66512-87.fc42
3
texlive-dvipdfmx
11:svn66203-86.fc42
11:svn66203-87.fc42
3
texlive-mfware
11:svn66186-86.fc42
11:svn66186-87.fc42
3
openldap
2.6.8-5.fc41
2.6.8-6.fc42
3
texlive-luatex
11:svn66967-86.fc42
11:svn66967-87.fc42
3
texlive-tex
11:svn66186-86.fc42
11:svn66186-87.fc42
3
texlive-texlive-en
11:svn66572-86.fc42
11:svn66572-87.fc42
3
texlive-metafont
11:svn66186-86.fc42
11:svn66186-87.fc42
3
texlive-texlive-scripts
11:svn66584-86.fc42
11:svn66584-87.fc42
3
texlive-bibtex
11:svn66186-86.fc42
11:svn66186-87.fc42
3
texlive-xdvi
11:svn62387-86.fc42
11:svn62387-87.fc42
3
libsepol
3.7-4.fc42
3.8-0.rc1.1.fc42
3
texlive-xetex
11:svn66203-86.fc42
11:svn66203-87.fc42
4
texlive-gsftopk
11:svn52851-86.fc42
11:svn52851-87.fc42
4
libtool-ltdl
2.4.7-12.fc41
2.5.4-1.fc42
4
harfbuzz
10.1.0-1.fc42
10.1.0-2.fc42
4
qt6-srpm-macros
6.8.0-1.fc42
6.8.1-3.fc42
B
texlive-luaotfload
11:svn64616-86.fc42
11:svn64616-87.fc42
B
fedora-release-common
42-0.9
42-0.11
B
perl-Date-Manip
6.95-2.fc41
6.96-1.fc42
B
fedora-release
42-0.9
42-0.11
B
libsemanage
3.7-4.fc42
3.8-0.rc1.1.fc42
B
libicu
74.2-2.fc41
76.1-1.fc42
B
perl-Business-ISBN-Data
20241130.001-1.fc42
20241206.001-1.fc42
B
fedora-release-identity-basic
42-0.9
42-0.11
B
texlive-epstopdf
11:svn66461-86.fc42
11:svn66461-87.fc42
B
complete
126502699
2024-12-03 20:05:37
x86_64
└126502804 ( build.log | root.log )
sqlite-libs
3.47.0-1.fc42
3.47.1-1.fc42
2
systemd-libs
257~rc2-2.fc42
257~rc3-1.fc42
2
libselinux
3.7-6.fc42
3.7-7.fc42
2
glibc
2.40.9000-20.fc42
2.40.9000-21.fc42
2
glibc-gconv-extra
2.40.9000-20.fc42
2.40.9000-21.fc42
3
crypto-policies
20241106-1.git35892de....
20241128-1.gitbb7b0b0....
3
glibc-common
2.40.9000-20.fc42
2.40.9000-21.fc42
3
glibc-minimal-langpack
2.40.9000-20.fc42
2.40.9000-21.fc42
3
libsepol
3.7-3.fc42
3.7-4.fc42
3
libxcrypt
4.4.36-10.fc42
4.4.36-11.fc42
4
ca-certificates
2024.2.69_v8.0.401-2.fc42
2024.2.69_v8.0.401-3.fc42
4
binutils
2.43.50-8.fc42
2.43.50-9.fc42
4
glibc-devel
2.40.9000-20.fc42
2.40.9000-21.fc42
4
perl-parent
1:0.242-1.fc42
1:0.243-1.fc42
4
elfutils
0.192-6.fc42
0.192-7.fc42
B
perl-Business-ISBN-Data
20241112.001-1.fc42
20241130.001-1.fc42
B
elfutils-debuginfod-client
0.192-6.fc42
0.192-7.fc42
B
fedora-release-common
42-0.8
42-0.9
B
kernel-headers
6.12.0-65.fc42
6.13.0-0.rc1.e70140b...
B
pyproject-srpm-macros
1.16.2-1.fc42
1.16.3-1.fc42
B
perl-IO-Compress
2.213-1.fc42
2.213-2.fc42
B
unzip
6.0-64.fc41
6.0-65.fc42
B
fedora-release
42-0.8
42-0.9
B
perl-IO-Socket-IP
0.42-512.fc41
0.43-1.fc42
B
libxcrypt-devel
4.4.36-10.fc42
4.4.36-11.fc42
B
fedora-release-identity-basic
42-0.8
42-0.9
B
debugedit
5.1-1.fc42
5.1-2.fc42
B
go-srpm-macros
3.6.0-3.fc41
3.6.0-5.fc42
B
elfutils-default-yama-scope
0.192-6.fc42
0.192-7.fc42
B
libsemanage
3.7-3.fc42
3.7-4.fc42
B
elfutils-libs
0.192-6.fc42
0.192-7.fc42
B
elfutils-libelf
0.192-6.fc42
0.192-7.fc42
B
complete
126139960
2024-11-22 22:37:32
aarch64
└126140123 ( build.log | root.log )
alsa-lib
1.2.12-2.fc41
1.2.13-3.fc42
2
sqlite-libs
3.46.1-1.fc42
3.47.0-1.fc42
2
glib2
2.83.0-1.fc42
2.83.0-2.fc42
2
systemd-libs
257~rc1-2.fc42
257~rc2-2.fc42
2
glibc
2.40.9000-16.fc42
2.40.9000-20.fc42
2
coreutils
9.5-10.fc42
9.5-11.fc42
3
glibc-gconv-extra
2.40.9000-16.fc42
2.40.9000-20.fc42
3
glibc-common
2.40.9000-16.fc42
2.40.9000-20.fc42
3
glibc-minimal-langpack
2.40.9000-16.fc42
2.40.9000-20.fc42
3
binutils
2.43.50-5.fc42
2.43.50-8.fc42
4
libXt
1.3.0-4.fc41
1.3.1-1.fc42
4
shadow-utils
2:4.16.0-6.fc42
2:4.16.0-7.fc42
4
glibc-devel
2.40.9000-16.fc42
2.40.9000-20.fc42
4
pam-libs
1.7.0-2.fc42
1.7.0-3.fc42
4
coreutils-common
9.5-10.fc42
9.5-11.fc42
4
libxcrypt
4.4.36-9.fc42
4.4.36-10.fc42
4
perl-Business-ISBN-Data
20241107.001-1.fc42
20241112.001-1.fc42
B
gdb-minimal
15.2-2.fc42
15.2-3.fc42
B
elfutils-libs
0.192-3.fc42
0.192-6.fc42
B
annobin-plugin-gcc
12.70-1.fc42
12.77-1.fc42
B
elfutils-libelf
0.192-3.fc42
0.192-6.fc42
B
elfutils-default-yama-scope
0.192-3.fc42
0.192-6.fc42
B
file-libs
5.45-7.fc41
5.45-8.fc42
B
kernel-headers
6.12.0-0.rc6.51.fc42
6.12.0-65.fc42
B
efi-srpm-macros
5-12.fc41
5-13.fc42
B
default-fonts-core-sans
4.2-1.fc42
4.2-2.fc42
B
perl-MailTools
2.21-17.fc41
2.22-1.fc42
B
perl-HTTP-Tiny
0.088-512.fc41
0.090-1.fc42
B
file
5.45-7.fc41
5.45-8.fc42
B
pyproject-srpm-macros
1.16.1-1.fc42
1.16.2-1.fc42
B
elfutils-debuginfod-client
0.192-3.fc42
0.192-6.fc42
B
elfutils
0.192-3.fc42
0.192-6.fc42
B
annobin-docs
12.70-1.fc42
12.77-1.fc42
B
libxcrypt-devel
4.4.36-9.fc42
4.4.36-10.fc42
B
perl-Module-CoreList
1:5.20241020-1.fc42
1:5.20241120-1.fc42
B
libtirpc
1.3.6-0.fc42
1.3.6-1.fc42
B
pam
1.7.0-2.fc42
1.7.0-3.fc42
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues