emacs-common-proofgeneral

Package information

State
ok

Scheduler parameters

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

json-glib
1.10.0-1.fc41
1.10.6-1.fc41
2
glib2
2.82.2-1.fc41
2.82.5-1.fc41
2
openldap
2.6.8-7.fc41
2.6.9-1.fc41
3
perl-DateTime-TimeZone
2.64-1.fc41
2.65-1.fc41
B
perl-Module-CoreList
1:5.20250220-1.fc41
1:5.20250321-1.fc41
B
gdb-minimal
16.2-1.fc41
16.2-2.fc41
B
expat
2.7.0-1.fc41
2.7.1-1.fc41
B

Historical builds

complete
2024-10-08 02:09:35
emacs-nw
1:29.4-29.fc41
1:29.4-34.fc41
1
emacs-common
1:29.4-29.fc41
1:29.4-34.fc41
2
json-glib
1.9.2-2.fc41
1.10.0-1.fc41
2
libtree-sitter
0.22.5-2.fc41
0.23.0-2.fc41
2
glib2
2.82.0-1.fc41
2.82.1-1.fc41
2
rpm-libs
4.19.92-6.fc41
4.19.94-1.fc41
2
emacsclient
1:29.4-29.fc41
1:29.4-34.fc41
3
openssl-libs
1:3.2.2-7.fc41
1:3.2.2-9.fc41
3
coreutils
9.5-9.fc41
9.5-10.fc41
3
rpm
4.19.92-6.fc41
4.19.94-1.fc41
3
shadow-utils
2:4.15.1-10.fc41
2:4.15.1-11.fc41
4
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-1.0.fc41
4
coreutils-common
9.5-9.fc41
9.5-10.fc41
4
binutils
2.43-3.fc41
2.43.1-2.fc41
4
perl-Module-CoreList
1:5.20240829-1.fc41
1:5.20240920-1.fc41
B
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc41
B
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc41
B
rpm-build
4.19.92-6.fc41
4.19.94-1.fc41
B
perl-Business-ISBN-Data
20240906.001-1.fc41
20240918.001-1.fc41
B
rpm-build-libs
4.19.92-6.fc41
4.19.94-1.fc41
B
libxcb
1.17.0-2.fc41
1.17.0-3.fc41
B