alt-ergo

Package information

State
ok

Scheduler parameters

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

ocaml-menhir
20220210-9.fc37
20220210-10.fc37
1
ocaml-menhirlib-devel
20220210-9.fc37
20220210-10.fc37
2
ocaml-menhirlib
20220210-9.fc37
20220210-10.fc37
3
cmake-filesystem
3.24.2-1.fc37
3.25.1-1.fc37
3
fedora-release-common
37-14
37-15
B
fedora-release-identity-basic
37-14
37-15
B
fedora-release
37-14
37-15
B

Groups

This package is not part of any global group.

Most recent builds

ocaml-dune
3.6.0-1.fc37
3.6.1-1.fc37
1
appstream-data
37-4.fc37
37-5.fc37
2
libcurl
7.85.0-2.fc37
7.85.0-4.fc37
2
fontconfig
2.14.1-1.fc37
2.14.1-2.fc37
3
libxcrypt
4.4.33-1.fc37
4.4.33-3.fc37
3
fontconfig-devel
2.14.1-1.fc37
2.14.1-2.fc37
4
python-pip-wheel
22.2.2-2.fc37
22.2.2-3.fc37
4
gtk-update-icon-cache
3.24.34-2.fc37
3.24.35-1.fc37
4
libxcrypt-devel
4.4.33-1.fc37
4.4.33-3.fc37
4
curl
7.85.0-2.fc37
7.85.0-4.fc37
4
google-noto-sans-vf-fonts
20201206^1.git0c78c8329-5.fc37
20201206^1.git0c78c8329-7.fc37
B
google-noto-fonts-common
20201206^1.git0c78c8329-5.fc37
20201206^1.git0c78c8329-7.fc37
B
ocaml-dune
3.5.0-1.fc37
3.6.0-1.fc37
1
glibc
2.36-7.fc37
2.36-8.fc37
2
libgcc
12.2.1-2.fc37
12.2.1-4.fc37
2
gcc
12.2.1-2.fc37
12.2.1-4.fc37
2
glibc-gconv-extra
2.36-7.fc37
2.36-8.fc37
3
gcc-plugin-annobin
12.2.1-2.fc37
12.2.1-4.fc37
3
glibc-common
2.36-7.fc37
2.36-8.fc37
3
cpp
12.2.1-2.fc37
12.2.1-4.fc37
3
glibc-devel
2.36-7.fc37
2.36-8.fc37
3
glibc-minimal-langpack
2.36-7.fc37
2.36-8.fc37
3
pango
1.50.11-1.fc37
1.50.12-1.fc37
3
libgomp
12.2.1-2.fc37
12.2.1-4.fc37
3
pango-devel
1.50.11-1.fc37
1.50.12-1.fc37
3
annobin-plugin-gcc
10.81-1.fc37
10.92-1.fc37
3
libnghttp2
1.49.0-1.fc37
1.51.0-1.fc37
3
krb5-libs
1.19.2-11.fc37.1
1.19.2-13.fc37
3
libstdc++
12.2.1-2.fc37
12.2.1-4.fc37
4
sqlite-libs
3.39.2-2.fc37
3.40.0-1.fc37
4
annobin-docs
10.81-1.fc37
10.92-1.fc37
4
glibc-headers-x86
2.36-7.fc37
2.36-8.fc37
4
libxml2-devel
2.9.14-3.fc37
2.10.3-2.fc37
2
libxml2
2.9.14-3.fc37
2.10.3-2.fc37
2
bash
5.2.2-2.fc37
5.2.9-3.fc37
2
libxcrypt
4.4.30-3.fc37
4.4.33-1.fc37
3
python-srpm-macros
3.11-4.fc37
3.11-5.fc37
3
gnutls
3.7.7-1.fc37
3.7.8-3.fc37
3
qt5-srpm-macros
5.15.6-1.fc37
5.15.7-1.fc37
3
binutils
2.38-24.fc37
2.38-25.fc37
3
systemd-libs
251.7-611.fc37
251.8-586.fc37
4
libxcrypt-devel
4.4.30-3.fc37
4.4.33-1.fc37
4
expat
2.4.8-2.fc37
2.5.0-1.fc37
4
binutils-gold
2.38-24.fc37
2.38-25.fc37
4
avahi-libs
0.8-17.fc37
0.8-18.fc37
B
appstream
0.15.4-2.fc37
0.15.5-1.fc37
1
ocaml-dune
3.4.0-2.fc37
3.5.0-1.fc37
1
libcurl
7.85.0-1.fc37
7.85.0-2.fc37
2
glib2
2.74.0-3.fc37
2.74.1-2.fc37
2
bash
5.1.16-4.fc37
5.2.2-2.fc37
2
readline
8.1-7.fc37
8.2-2.fc37
3
libidn2
2.3.3-2.fc37
2.3.4-1.fc37
3
libssh
0.10.4-1.fc37
0.10.4-2.fc37
3
fontconfig
2.14.0-3.fc37
2.14.1-1.fc37
3
libxcrypt
4.4.30-1.fc37
4.4.30-3.fc37
3
gdk-pixbuf2
2.42.9-2.fc37
2.42.10-1.fc37
3
pango
1.50.10-1.fc37
1.50.11-1.fc37
3
python-srpm-macros
3.11-5.fc37
3.11-4.fc37
3
glib2-devel
2.74.0-3.fc37
2.74.1-2.fc37
3
gdk-pixbuf2-devel
2.42.9-2.fc37
2.42.10-1.fc37
3
pango-devel
1.50.10-1.fc37
1.50.11-1.fc37
3
tzdata
2022d-1.fc37
2022f-1.fc37
4
curl
7.85.0-1.fc37
7.85.0-2.fc37
4
cups-libs
1:2.4.2-4.fc37
1:2.4.2-5.fc37
4
gdk-pixbuf2-modules
2.42.9-2.fc37
2.42.10-1.fc37
4
libxcrypt-devel
4.4.30-1.fc37
4.4.30-3.fc37
4
libssh-config
0.10.4-1.fc37
0.10.4-2.fc37
4
fontconfig-devel
2.14.0-3.fc37
2.14.1-1.fc37
4
alternatives
1.19-3.fc37
1.21-1.fc37
4
tar
2:1.34-3.fc36
2:1.34-5.fc37
B
gettext-libs
0.21-19.0.20220203...
0.21.1-1.fc37
B
gettext
0.21-19.0.20220203...
0.21.1-1.fc37
B
gettext-runtime
0.21-19.0.20220203...
0.21.1-1.fc37
B
shadow-utils
2:4.12.3-2.fc37
2:4.12.3-3.fc37
B
dbus-libs
1:1.14.2-1.fc37
1:1.14.4-1.fc37
B
gettext-envsubst
0.21-19.0.20220203...
0.21.1-1.fc37
B
gdb-minimal
12.1-4.fc37
12.1-6.fc37
B
python3
3.11.0~rc2-1.fc37
3.11.0-1.fc37
2
rust-srpm-macros
22-1.fc37
23-1.fc37
3
python3-libs
3.11.0~rc2-1.fc37
3.11.0-1.fc37
3
libxcrypt
4.4.28-3.fc37
4.4.30-1.fc37
3
cmake-filesystem
3.24.1-1.fc37
3.24.2-1.fc37
3
openssl-libs
1:3.0.5-2.fc37
1:3.0.5-3.fc37
3
python-srpm-macros
3.11-4.fc37
3.11-5.fc37
3
kernel-headers
5.19.4-300.fc37
6.0.5-300.fc37
4
libxcrypt-devel
4.4.28-3.fc37
4.4.30-1.fc37
4
systemd-libs
251.6-609.fc37
251.7-611.fc37
4
glibc
2.36-4.fc37
2.36-7.fc37
2
glibc-common
2.36-4.fc37
2.36-7.fc37
3
glibc-minimal-langpack
2.36-4.fc37
2.36-7.fc37
3
glibc-gconv-extra
2.36-4.fc37
2.36-7.fc37
3
glibc-devel
2.36-4.fc37
2.36-7.fc37
3
fontconfig
2.14.0-2.fc37
2.14.0-3.fc37
3
glibc-headers-x86
2.36-4.fc37
2.36-7.fc37
4
fontconfig-devel
2.14.0-2.fc37
2.14.0-3.fc37
4
systemd-libs
251.5-607.fc37
251.6-609.fc37
4
fedora-release
37-0.13
37-14
B
fedora-release-common
37-0.13
37-14
B
google-noto-fonts-common
20201206^1.git0c78c8329-4.fc37
20201206^1.git0c78c8329-5.fc37
B
google-noto-sans-vf-fonts
20201206^1.git0c78c8329-4.fc37
20201206^1.git0c78c8329-5.fc37
B
fedora-release-identity-basic
37-0.13
37-14
B
fedora-gpg-keys
37-0.6
37-1
B
fedora-repos
37-0.6
37-1
B
glib2
2.74.0-1.fc37
2.74.0-3.fc37
2
appstream-data
37-3.fc37
37-4.fc37
2
libxmlb
0.3.9-2.fc37
0.3.10-1.fc37
2
bash
5.1.16-3.fc37
5.1.16-4.fc37
2
glib2-devel
2.74.0-1.fc37
2.74.0-3.fc37
3
gdk-pixbuf2
2.42.9-1.fc37
2.42.9-2.fc37
3
gdk-pixbuf2-devel
2.42.9-1.fc37
2.42.9-2.fc37
3
qt5-srpm-macros
5.15.5-2.fc37
5.15.6-1.fc37
3
ansible-srpm-macros
1-7.fc37
1-8.1.fc37
3
rpm
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
3
popt
1.19~rc1-4.fc37
1.19-1.fc37
4
rpm-libs
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
4
gdk-pixbuf2-modules
2.42.9-1.fc37
2.42.9-2.fc37
4
systemd-libs
251.4-53.fc37
251.5-607.fc37
4
tzdata
2022c-1.fc37
2022d-1.fc37
4
libicu
71.1-1.fc37
71.1-2.fc37
B
rpm-build-libs
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
B
libwebp
1.2.4-1.fc37
1.2.4-2.fc37
B
shadow-utils
2:4.12.3-1.fc37
2:4.12.3-2.fc37
B
rpm-build
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
B
dbus-libs
1:1.14.0-5.fc37
1:1.14.2-1.fc37
B
libicu-devel
71.1-1.fc37
71.1-2.fc37
B
ocaml-menhir
20220210-8.fc37
20220210-9.fc37
1
ocaml-menhirlib-devel
20220210-8.fc37
20220210-9.fc37
2
glib2
2.73.3-3.fc37
2.74.0-1.fc37
2
glibc
2.36-3.fc37
2.36-4.fc37
2
glibc-common
2.36-3.fc37
2.36-4.fc37
3
glib2-devel
2.73.3-3.fc37
2.74.0-1.fc37
3
harfbuzz
5.1.0-2.fc37
5.2.0-1.fc37
3
glibc-minimal-langpack
2.36-3.fc37
2.36-4.fc37
3
pango-devel
1.50.9-1.fc37
1.50.10-1.fc37
3
ocaml-menhirlib
20220210-8.fc37
20220210-9.fc37
3
pango
1.50.9-1.fc37
1.50.10-1.fc37
3
glibc-gconv-extra
2.36-3.fc37
2.36-4.fc37
3
glibc-devel
2.36-3.fc37
2.36-4.fc37
3
harfbuzz-devel
5.1.0-2.fc37
5.2.0-1.fc37
4
sysprof-capture-devel
3.45.1-1.fc37
3.46.0-1.fc37
4
glibc-headers-x86
2.36-3.fc37
2.36-4.fc37
4
gettext
0.21-18.fc37.0.202...
0.21-19.0.20220203...
B
fedora-release
37-0.12
37-0.13
B
gettext-envsubst
0.21-18.fc37.0.202...
0.21-19.0.20220203...
B
harfbuzz-icu
5.1.0-2.fc37
5.2.0-1.fc37
B
gettext-libs
0.21-18.fc37.0.202...
0.21-19.0.20220203...
B
fedora-release-identity-basic
37-0.12
37-0.13
B
fedora-release-common
37-0.12
37-0.13
B
google-noto-sans-vf-fonts
20201206^1.git0c78c8329-3.fc37
20201206^1.git0c78c8329-4.fc37
B
google-noto-fonts-common
20201206^1.git0c78c8329-3.fc37
20201206^1.git0c78c8329-4.fc37
B
gettext-runtime
0.21-18.fc37.0.202...
0.21-19.0.20220203...
B
Previous history