emacs-common-proofgeneral

Package information

State
ok

Scheduler parameters

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

Most recent builds

complete
2021-06-13 14:19:21
glibc
2.33-14.fc34
2.33-15.fc34
2
alsa-lib
1.2.4-5.fc34
1.2.5-2.fc34
2
gstreamer1-plugins-base
1.18.4-1.fc34
1.19.1-1.fc34
3
glibc-common
2.33-14.fc34
2.33-15.fc34
3
glibc-minimal-langpack
2.33-14.fc34
2.33-15.fc34
3
openjpeg2
2.4.0-2.fc34
2.4.0-3.fc34
3
coreutils
8.32-26.fc34
8.32-27.fc34
3
gstreamer1
1.18.4-2.fc34
1.19.1-1.fc34
3
mesa-libGL
21.1.1-1.fc34
21.1.1-2.fc34
4
coreutils-common
8.32-26.fc34
8.32-27.fc34
4
curl
7.76.1-3.fc34
7.76.1-4.fc34
4
mesa-libEGL
21.1.1-1.fc34
21.1.1-2.fc34
4
hwdata
0.347-1.fc34
0.348-1.fc34
B
file-libs
5.39-5.fc34
5.39-6.fc34
B
file
5.39-5.fc34
5.39-6.fc34
B
mesa-libglapi
21.1.1-1.fc34
21.1.1-2.fc34
B
libcurl
7.76.1-3.fc34
7.76.1-4.fc34
B
mesa-libgbm
21.1.1-1.fc34
21.1.1-2.fc34
B
complete
2021-06-06 00:00:36
gnutls
3.7.1-2.fc34
3.7.2-1.fc34
2
libxml2
2.9.12-2.fc34
2.9.12-4.fc34
2
librsvg2
2.50.5-1.fc34
2.50.6-1.fc34
2
libgcc
11.1.1-1.fc34
11.1.1-3.fc34
2
perl-File-Basename
2.85-474.fc34
2.85-475.fc34
2
perl-interpreter
4:5.32.1-474.fc34
4:5.32.1-475.fc34
2
perl-libs
4:5.32.1-474.fc34
4:5.32.1-475.fc34
2
perl-macros
4:5.32.1-474.fc34
4:5.32.1-475.fc34
2
pango
1.48.4-1.fc34
1.48.5-1.fc34
2
glibc
2.33-8.fc34
2.33-14.fc34
2
glibc-common
2.33-8.fc34
2.33-14.fc34
3
glibc-minimal-langpack
2.33-8.fc34
2.33-14.fc34
3
perl-vars
1.05-474.fc34
1.05-475.fc34
3
libepoxy
1.5.7-1.fc34
1.5.8-1.fc34
3
libstdc++
11.1.1-1.fc34
11.1.1-3.fc34
3
perl-if
0.60.800-474.fc34
0.60.800-475.fc34
3
perl-DynaLoader
1.47-474.fc34
1.47-475.fc34
3
perl-File-Copy
2.34-474.fc34
2.34-475.fc34
3
perl-IO
1.43-474.fc34
1.43-475.fc34
4
perl-base
2.27-474.fc34
2.27-475.fc34
4
perl-Errno
1.30-474.fc34
1.30-475.fc34
4
perl-locale
1.09-474.fc34
1.09-475.fc34
4
perl-overload
1.31-474.fc34
1.31-475.fc34
4
cdparanoia-libs
10.2-36.fc34
10.2-37.fc34
4
poppler
21.01.0-6.fc34
21.01.0-7.fc34
4
perl-B
1.80-474.fc34
1.80-475.fc34
4
perl-Symbol
1.08-474.fc34
1.08-475.fc34
4
perl-Getopt-Std
1.12-474.fc34
1.12-475.fc34
4
perl-Fcntl
1.13-474.fc34
1.13-475.fc34
4
curl
7.76.1-2.fc34
7.76.1-3.fc34
4
libgusb
0.3.6-1.fc34
0.3.7-1.fc34
4
perl-File-Find
1.37-474.fc34
1.37-475.fc34
4
elfutils-libs
0.183-1.fc34
0.185-2.fc34
4
perl-POSIX
1.94-474.fc34
1.94-475.fc34
4
perl-FileHandle
2.03-474.fc34
2.03-475.fc34
4
perl-Sys-Hostname
1.23-474.fc34
1.23-475.fc34
B
perl-deprecate
0.04-474.fc34
0.04-475.fc34
B
perl-subs
1.03-474.fc34
1.03-475.fc34
B
nss-softokn-freebl
3.63.0-1.fc34
3.65.0-1.fc34
B
perl-overloading
0.02-474.fc34
0.02-475.fc34
B
perl-open
1.12-474.fc34
1.12-475.fc34
B
elfutils-debuginfod-client
0.183-1.fc34
0.185-2.fc34
B
perl-AutoLoader
5.74-474.fc34
5.74-475.fc34
B
perl-I18N-LangTags
0.44-474.fc34
0.44-475.fc34
B
perl-File-Compare
1.100.600-474.fc34
1.100.600-475.fc34
B
nspr
4.30.0-1.fc34
4.30.0-2.fc34
B
perl-Module-CoreList
1:5.20210420-1.fc34
1:5.20210521-1.fc34
B
perl-Math-Complex
1.59-474.fc34
1.59-475.fc34
B
perl-lib
0.65-474.fc34
0.65-475.fc34
B
libcurl
7.76.1-2.fc34
7.76.1-3.fc34
B
perl-I18N-Langinfo
0.19-474.fc34
0.19-475.fc34
B
perl-Opcode
1.48-474.fc34
1.48-475.fc34
B
perl-Tie
4.6-474.fc34
4.6-475.fc34
B
libgomp
11.1.1-1.fc34
11.1.1-3.fc34
B
perl-mro
1.23-474.fc34
1.23-475.fc34
B
gdb-minimal
10.1-14.fc34
10.2-1.fc34
B
elfutils-libelf
0.183-1.fc34
0.185-2.fc34
B
nss-util
3.63.0-1.fc34
3.65.0-1.fc34
B
perl-Unicode-UCD
0.75-474.fc34
0.75-475.fc34
B
perl-Locale-Maketext-Simple
1:0.21-474.fc34
1:0.21-475.fc34
B
perl-File-stat
1.09-474.fc34
1.09-475.fc34
B
perl-sigtrap
1.09-474.fc34
1.09-475.fc34
B
elfutils-default-yama-scope
0.183-1.fc34
0.185-2.fc34
B
nss-sysinit
3.63.0-1.fc34
3.65.0-1.fc34
B
perl-Class-Struct
0.66-474.fc34
0.66-475.fc34
B
perl-IPC-Open3
1.21-474.fc34
1.21-475.fc34
B
perl-Pod-Html
1.25-474.fc34
1.25-475.fc34
B
nss
3.63.0-1.fc34
3.65.0-1.fc34
B
perl-SelectSaver
1.02-474.fc34
1.02-475.fc34
B
cryptsetup-libs
2.3.5-2.fc34
2.3.6-1.fc34
B
mpfr
4.1.0-6.fc34
4.1.0-7.fc34
B
nss-softokn
3.63.0-1.fc34
3.65.0-1.fc34
B
elfutils
0.183-1.fc34
0.185-2.fc34
B
perl-Safe
2.41-474.fc34
2.41-475.fc34
B
perl-meta-notation
5.32.1-474.fc34
5.32.1-475.fc34
B
kmod-libs
28-2.fc34
29-2.fc34
B
perl-FindBin
1.51-474.fc34
1.51-475.fc34
B
perl-Hash-Util-FieldHash
1.20-474.fc34
1.20-475.fc34
B
complete
2021-05-27 04:39:31
texlive-latex
9:20200327-28.fc34
9:20200327-30.fc34
2
libxml2
2.9.10-12.fc34
2.9.12-2.fc34
2
texlive-kpathsea
9:20200327-28.fc34
9:20200327-30.fc34
2
texlive-texlive-scripts-extra
9:20200327-28.fc34
9:20200327-30.fc34
2
texlive-base
9:20200327-28.fc34
9:20200327-30.fc34
2
texlive-texlive.infra
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-luatex
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-bibtex
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-mfware
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-tex
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-dvips
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-dvipdfmx
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-luahbtex
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-makeindex
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-texlive-en
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-texlive-scripts
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-pdftex
9:20200327-28.fc34
9:20200327-30.fc34
3
m17n-db
1.8.0-13.fc34
1.8.0-15.fc34
3
texlive-lib
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-glyphlist
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-xdvi
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-metafont
9:20200327-28.fc34
9:20200327-30.fc34
3
texlive-xetex
9:20200327-28.fc34
9:20200327-30.fc34
4
biber
2.14-4.fc33
2.14-6.fc34
B
texlive-oberdiek
9:20200327-28.fc34
9:20200327-30.fc34
B
texlive-luaotfload
9:20200327-28.fc34
9:20200327-30.fc34
B
texlive-thumbpdf
9:20200327-28.fc34
9:20200327-30.fc34
B
python-pip-wheel
21.0.1-2.fc34
21.0.1-3.fc34
B
complete
2021-05-23 03:36:48
perl-generators
1.11-10.fc34
1.13-1.fc34
1
systemd-libs
248.2-1.fc34
248.3-1.fc34
2
libzstd
1.4.9-1.fc34
1.5.0-1.fc34
3
krb5-libs
1.19.1-3.fc34
1.19.1-8.fc34
3
libidn2
2.3.0-5.fc34
2.3.1-1.fc34
3
m17n-db
1.8.0-12.fc34
1.8.0-13.fc34
3
cups-libs
1:2.3.3op2-5.fc34
1:2.3.3op2-7.fc34
3
coreutils
8.32-24.fc34
8.32-26.fc34
3
wpebackend-fdo
1.9.91-1.fc34
1.9.92-1.fc34
3
python3
3.9.5-1.fc34
3.9.5-2.fc34
4
mesa-libEGL
21.0.3-2.fc34
21.1.1-1.fc34
4
coreutils-common
8.32-24.fc34
8.32-26.fc34
4
mesa-libGL
21.0.3-2.fc34
21.1.1-1.fc34
4
systemd
248.2-1.fc34
248.3-1.fc34
B
libibverbs
34.0-3.fc34
35.0-1.fc34
B
python3-libs
3.9.5-1.fc34
3.9.5-2.fc34
B
perl-HTTP-Message
6.29-1.fc34
6.30-1.fc34
B
mesa-libglapi
21.0.3-2.fc34
21.1.1-1.fc34
B
iptables-legacy-libs
1.8.7-7.fc34
1.8.7-8.fc34
B
systemd-pam
248.2-1.fc34
248.3-1.fc34
B
libtirpc
1.3.1-1.rc2.fc34
1.3.2-0.fc34
B
systemd-rpm-macros
248.2-1.fc34
248.3-1.fc34
B
mesa-libgbm
21.0.3-2.fc34
21.1.1-1.fc34
B
zstd
1.4.9-1.fc34
1.5.0-1.fc34
B
complete
2021-05-15 07:46:22
webkit2gtk3-jsc
2.32.0-2.fc34
2.32.1-1.fc34
2
libxml2
2.9.10-10.fc34
2.9.10-12.fc34
2
webkit2gtk3
2.32.0-2.fc34
2.32.1-1.fc34
2
systemd-libs
248-2.fc34
248.2-1.fc34
2
glib2
2.68.1-1.fc34
2.68.2-1.fc34
2
glibc
2.33-5.fc34
2.33-8.fc34
2
glibc-common
2.33-5.fc34
2.33-8.fc34
3
glibc-minimal-langpack
2.33-5.fc34
2.33-8.fc34
3
python3
3.9.4-1.fc34
3.9.5-1.fc34
4
python3-libs
3.9.4-1.fc34
3.9.5-1.fc34
B
systemd-pam
248-2.fc34
248.2-1.fc34
B
systemd
248-2.fc34
248.2-1.fc34
B
systemd-rpm-macros
248-2.fc34
248.2-1.fc34
B
perl-DateTime-Locale
1.31-2.fc34
1.32-1.fc34
B
libdrm
2.4.103-2.fc34
2.4.105-1.fc34
B
complete
2021-05-07 06:57:03
emacs
1:27.2-1.fc34
1:27.2-2.fc34
1
emacs-filesystem
1:27.2-1.fc34
1:27.2-2.fc34
2
librsvg2
2.50.4-1.fc34
2.50.5-1.fc34
2
emacs-common
1:27.2-1.fc34
1:27.2-2.fc34
2
libepoxy
1.5.5-2.fc34
1.5.7-1.fc34
3
libxkbcommon
1.2.1-1.fc34
1.3.0-1.fc34
3
coreutils
8.32-23.fc34
8.32-24.fc34
3
adwaita-icon-theme
40.0-2.fc34
40.1.1-1.fc34
3
wpebackend-fdo
1.9.90-2.fc34
1.9.91-1.fc34
3
cups-libs
1:2.3.3op2-4.fc34
1:2.3.3op2-5.fc34
3
libxcrypt
4.4.19-1.fc34
4.4.20-2.fc34
3
curl
7.76.1-1.fc34
7.76.1-2.fc34
4
adwaita-cursor-theme
40.0-2.fc34
40.1.1-1.fc34
4
xkeyboard-config
2.32-2.fc34
2.32-3.fc34
4
coreutils-common
8.32-23.fc34
8.32-24.fc34
4
at-spi2-core
2.40.0-2.fc34
2.40.1-1.fc34
4
which
2.21-24.fc34
2.21-26.fc34
B
perltidy
20210111-2.fc34
20210402-1.fc34
B
iptables-legacy-libs
1.8.7-6.fc34
1.8.7-7.fc34
B
hwdata
0.346-1.fc34
0.347-1.fc34
B
libcurl
7.76.1-1.fc34
7.76.1-2.fc34
B
complete
2021-05-03 08:49:08
gdk-pixbuf2
2.42.4-2.fc34
2.42.6-1.fc34
2
libgcc
11.0.1-0.3.fc34
11.1.1-1.fc34
2
libstdc++
11.0.1-0.3.fc34
11.1.1-1.fc34
3
libglvnd-egl
1:1.3.2-3.fc34
1:1.3.3-1.fc34
3
coreutils
8.32-21.fc34
8.32-23.fc34
3
libxkbcommon
1.0.3-2.fc34
1.2.1-1.fc34
3
lua-libs
5.4.2-2.fc34
5.4.3-1.fc34
3
glib-networking
2.68.0-1.fc34
2.68.1-1.fc34
3
gdk-pixbuf2-modules
2.42.4-2.fc34
2.42.6-1.fc34
3
libglvnd-glx
1:1.3.2-3.fc34
1:1.3.3-1.fc34
3
libgcrypt
1.9.2-2.fc34
1.9.3-2.fc34
3
libglvnd
1:1.3.2-3.fc34
1:1.3.3-1.fc34
4
mesa-libEGL
21.0.3-1.fc34
21.0.3-2.fc34
4
mesa-libGL
21.0.3-1.fc34
21.0.3-2.fc34
4
coreutils-common
8.32-21.fc34
8.32-23.fc34
4
mpfr
4.1.0-5.fc34
4.1.0-6.fc34
B
fedora-gpg-keys
34-1
34-2
B
libgomp
11.0.1-0.3.fc34
11.1.1-1.fc34
B
go-srpm-macros
3.0.9-3.fc34
3.0.10-1.fc34
B
mesa-libglapi
21.0.3-1.fc34
21.0.3-2.fc34
B
openldap
2.4.57-2.fc34
2.4.57-3.fc34
B
mesa-libgbm
21.0.3-1.fc34
21.0.3-2.fc34
B
fedora-repos
34-1
34-2
B
perl-Module-CoreList
1:5.20210320-1.fc34
1:5.20210420-1.fc34
B
complete
2021-04-25 10:35:27
gtk3
3.24.28-2.fc34
3.24.29-1.fc34
2
librsvg2
2.50.3-1.fc34
2.50.4-1.fc34
2
libxcrypt
4.4.18-1.fc34
4.4.19-1.fc34
3
adwaita-icon-theme
40.0~rc-1.fc34
40.0-2.fc34
3
wpebackend-fdo
1.9.90-1.fc34
1.9.90-2.fc34
3
cups-libs
1:2.3.3op2-3.fc34
1:2.3.3op2-4.fc34
3
gstreamer1
1.18.4-1.fc34
1.18.4-2.fc34
3
gtk-update-icon-cache
3.24.28-2.fc34
3.24.29-1.fc34
3
libcloudproviders
0.3.1-3.fc34
3
xkeyboard-config
2.32-1.fc34
2.32-2.fc34
4
curl
7.76.0-1.fc34
7.76.1-1.fc34
4
mesa-libGL
21.0.2-1.fc34
21.0.3-1.fc34
4
at-spi2-core
2.40.0-1.fc34
2.40.0-2.fc34
4
adwaita-cursor-theme
40.0~rc-1.fc34
40.0-2.fc34
4
python3
3.9.2-1.fc34
3.9.4-1.fc34
4
mesa-libEGL
21.0.2-1.fc34
21.0.3-1.fc34
4
iptables-legacy-libs
1.8.7-6.fc34
B
perl-version
7:0.99.28-2.fc34
7:0.99.29-1.fc34
B
pam
1.5.1-3.fc34
1.5.1-5.fc34
B
hwdata
0.345-1.fc34
0.346-1.fc34
B
libtirpc
1.3.1-1.fc34
1.3.1-1.rc2.fc34
B
mesa-libgbm
21.0.2-1.fc34
21.0.3-1.fc34
B
perl-ExtUtils-MM-Utils
2:7.60-1.fc34
2:7.62-1.fc34
B
libmnl
1.0.4-13.fc34
libnfnetlink
1.0.1-19.fc34
libcurl
7.76.0-1.fc34
7.76.1-1.fc34
B
gdb-minimal
10.1-13.fc34
10.1-14.fc34
B
libnetfilter_conntrack
1.0.8-2.fc34
iptables-libs
1.8.7-3.fc34
python3-libs
3.9.2-1.fc34
3.9.4-1.fc34
B
mesa-libglapi
21.0.2-1.fc34
21.0.3-1.fc34
B
python-srpm-macros
3.9-35.fc34
3.9-36.fc34
B
efi-srpm-macros
4-6.fc34
5-2.fc34
B
perl-XML-LibXML
1:2.0206-3.fc34
1:2.0207-1.fc34
B
shadow-utils
2:4.8.1-7.fc34
2:4.8.1-8.fc34
B
Previous history