Koschei - emacs-common-proofgeneral

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

394

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

setup

2.15.0-10.fc42

2.15.0-12.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

kernel-headers

6.14.0-0.rc1.15.fc42

6.14.0-0.rc2.22.fc43

B

add-determinism

0.5.0-2.fc42

0.6.0-1.fc43

B

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc43

B

State overview

Groups

perl-users

Historical builds

complete

2024-08-24 16:00:55

aarch64

└122419579 ( build.log | root.log )

libuuid

2.40.2-4.fc41

2.40.2-6.fc42

2

glib2

2.81.1-1.fc41

2.81.2-2.fc42

2

gnutls

3.8.6-7.fc41

3.8.7-2.fc42

2

libgcc

14.1.1-7.fc41

14.2.1-1.fc42

2

libgccjit

14.1.1-7.fc41

14.2.1-1.fc42

2

systemd-libs

256.4-1.fc41

256.5-1.fc42

2

libgomp

14.1.1-7.fc41

14.2.1-1.fc42

3

libmount

2.40.2-4.fc41

2.40.2-6.fc42

3

coreutils

9.5-7.fc41

9.5-8.fc42

3

gcc

14.1.1-7.fc41

14.2.1-1.fc42

3

pkgconf-pkg-config

2.1.1-2.fc41

2.3.0-1.fc42

3

crypto-policies

20240807-1.git5795660....

20240822-1.git64c9381....

3

libstdc++

14.1.1-7.fc41

14.2.1-1.fc42

3

libffi

3.4.6-2.fc41

3.4.6-3.fc42

3

cpp

14.1.1-7.fc41

14.2.1-1.fc42

4

binutils

2.42.90-1.fc41

2.43.1-1.fc42

4

pkgconf-m4

2.1.1-2.fc41

2.3.0-1.fc42

4

coreutils-common

9.5-7.fc41

9.5-8.fc42

4

pkgconf

2.1.1-2.fc41

2.3.0-1.fc42

4

harfbuzz

9.0.0-2.fc41

9.0.0-3.fc42

4

libblkid

2.40.2-4.fc41

2.40.2-6.fc42

4

cairo

1.18.0-4.fc41

libsmartcols

2.40.2-4.fc41

2.40.2-6.fc42

B

libfdisk

2.40.2-4.fc41

2.40.2-6.fc42

B

gcc-plugin-annobin

14.1.1-7.fc41

14.2.1-1.fc42

B

util-linux

2.40.2-4.fc41

2.40.2-6.fc42

B

pixman

0.43.4-2.fc41

kernel-headers

6.11.0-0.rc3.30.fc41

6.11.0-0.rc4.37.fc42

B

rust-srpm-macros

26.3-1.fc41

26.3-3.fc42

B

redhat-rpm-config

293-1.fc41

294-1.fc42

B

fedora-release

42-0.1

42-0.3

B

util-linux-core

2.40.2-4.fc41

2.40.2-6.fc42

B

perl-Try-Tiny

0.31-10.fc41

0.32-1.fc42

B

perl-Clone

0.46-8.fc41

0.47-1.fc42

B

fedora-release-identity-basic

42-0.1

42-0.3

B

fedora-release-common

42-0.1

42-0.3

B

libXrender

0.9.11-7.fc41

libpkgconf

2.1.1-2.fc41

2.3.0-1.fc42

B

perl-Business-ISBN-Data

20240815.001-1.fc42

20240821.001-1.fc42

B

show 29 more collapse

complete

2024-08-15 21:36:14

s390x

└122016853 ( build.log | root.log )

glib2

2.81.0-1.fc41

2.81.1-1.fc41

2

alternatives

1.29-1.fc41

1.30-1.fc41

2

sqlite-libs

3.46.0-3.fc41

3.46.0-4.fc41

2

libcurl

8.9.1-1.fc41

8.9.1-2.fc41

2

bash

5.2.26-4.fc41

5.2.32-1.fc41

2

crypto-policies

20240725-2.git9555558....

20240807-1.git5795660....

3

perl-Scalar-List-Utils

5:1.63-511.fc41

5:1.65-1.fc41

4

perl-parent

1:0.241-511.fc41

1:0.242-1.fc42

4

curl

8.9.1-1.fc41

8.9.1-2.fc41

4

default-fonts-core-sans

4.1-2.fc41

4.1-3.fc42

B

annobin-plugin-gcc

12.65-1.fc41

12.70-1.fc42

B

perl-Regexp-Common

2017060201-25.fc41

2024080801-1.fc42

B

audit-libs

4.0.1-4.fc41

4.0.2-1.fc41

B

readline

8.2-9.fc41

8.2-10.fc41

B

kernel-headers

6.11.0-0.rc1.dc1c803...

6.11.0-0.rc3.30.fc41

B

perl-HTML-Parser

3.82-3.fc41

3.83-1.fc41

B

perl-Business-ISBN-Data

20240725.001-1.fc41

20240815.001-1.fc42

B

fedora-repos

41-0.2

42-0.1

B

annobin-docs

12.65-1.fc41

12.70-1.fc42

B

fedora-gpg-keys

41-0.2

42-0.1

B

fedora-release-identity-basic

41-0.17

42-0.1

B

fedora-release

41-0.17

42-0.1

B

forge-srpm-macros

0.3.1-2.fc41

0.3.2-1.fc41

B

fedora-release-common

41-0.17

42-0.1

B

gdb-minimal

14.2-15.fc41

15.1-1.fc41

B

perl-DateTime-Locale

1.42-2.fc41

1.43-1.fc41

B

fedora-repos-rawhide

41-0.2

42-0.1

B

show 17 more collapse