alt-ergo

Package information

State
ok

Scheduler parameters

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

Groups

This package is not part of any global group.

Most recent builds

redhat-rpm-config
224-1.fc37
226-1.fc37
2
glib2
2.72.2-1.fc37
2.73.1-1.fc37
2
glib2-devel
2.72.2-1.fc37
2.73.1-1.fc37
3
libnghttp2
1.47.0-1.fc37
1.48.0-1.fc37
3
python3
3.11.0~b3-4.fc37
3.11.0~b3-6.fc37
3
gnutls
3.7.6-1.fc37
3.7.6-4.fc37
3
python3-libs
3.11.0~b3-4.fc37
3.11.0~b3-6.fc37
4
fedora-release-identity-basic
37-0.5
37-0.6
B
libb2
0.98.1-6.fc37
B
fedora-release
37-0.5
37-0.6
B
fedora-release-common
37-0.5
37-0.6
B
Real build: alt-ergo-2.3.3-1.fc37
python3
3.11.0~b3-3.fc37
3.11.0~b3-4.fc37
3
python3-libs
3.11.0~b3-3.fc37
3.11.0~b3-4.fc37
4
ocaml-menhir
20220210-5.fc37
20220210-6.fc37
1
libxml2-devel
2.9.14-1.fc37
2.9.14-2.fc37
2
libxml2
2.9.14-1.fc37
2.9.14-2.fc37
2
ocaml-menhirlib-devel
20220210-5.fc37
20220210-6.fc37
2
ocaml-menhirlib
20220210-5.fc37
20220210-6.fc37
3
libselinux
3.4-3.fc37
3.4-4.fc37
3
file
5.41-5.fc37
5.41-6.fc37
3
python-srpm-macros
3.10-18.fc37
3.11-1.fc37
3
rpm
4.18.0-0.alpha2.1.fc37
4.18.0-0.alpha2.2.fc37
3
python3
3.10.5-2.fc37
3.11.0~b3-3.fc37
3
util-linux
2.38-3.fc37
2.38-4.fc37
3
libbrotli
1.0.9-7.fc36
1.0.9-8.fc37
3
rpmautospec-rpm-macros
0.2.8-1.fc37
0.2.8-2.fc37
3
libmount
2.38-3.fc37
2.38-4.fc37
3
audit-libs
3.0.8-1.fc37
3.0.8-2.fc37
4
kernel-headers
5.19.0-0.rc2.git0.1....
5.19.0-0.rc3.git0.1....
4
libmount-devel
2.38-3.fc37
2.38-4.fc37
4
libuuid
2.38-3.fc37
2.38-4.fc37
4
libblkid
2.38-3.fc37
2.38-4.fc37
4
python3-libs
3.10.5-2.fc37
3.11.0~b3-3.fc37
4
libcap-ng
0.8.3-1.fc37
0.8.3-2.fc37
4
libselinux-devel
3.4-3.fc37
3.4-4.fc37
4
file-libs
5.41-5.fc37
5.41-6.fc37
4
rpm-libs
4.18.0-0.alpha2.1.fc37
4.18.0-0.alpha2.2.fc37
4
libfdisk
2.38-3.fc37
2.38-4.fc37
4
libsmartcols
2.38-3.fc37
2.38-4.fc37
4
util-linux-core
2.38-3.fc37
2.38-4.fc37
4
rpm-build
4.18.0-0.alpha2.1.fc37
4.18.0-0.alpha2.2.fc37
B
python-pip-wheel
22.0.4-2.fc37
22.0.4-4.fc37
B
rpm-build-libs
4.18.0-0.alpha2.1.fc37
4.18.0-0.alpha2.2.fc37
B
gdb-minimal
12.1-1.fc37
12.1-3.fc37
B
libpwquality
1.4.4-7.fc36
1.4.4-10.fc37
B
python-setuptools-wheel
60.9.3-2.fc37
60.9.3-5.fc37
B
brotli
1.0.9-7.fc36
1.0.9-8.fc37
B
brotli-devel
1.0.9-7.fc36
1.0.9-8.fc37
B
libblkid-devel
2.38-3.fc37
2.38-4.fc37
B
libsemanage
3.4-2.fc37
3.4-3.fc37
B
Real build: alt-ergo-2.3.0-5.fc37
ocaml-zip-devel
1.11-3.fc36
1.11-4.fc37
1
ocaml-ocplib-simplex-devel
0.4-26.fc36
0.4-27.fc37
1
ocaml-lablgtk-devel
2.18.12-3.fc36
2.18.12-4.fc37
1
ocaml-odoc
2.1.0-1.fc37
2.1.0-2.fc37
1
ocaml-num-devel
1.4-4.fc36
1.4-6.fc37
1
ocaml-psmt2-frontend-devel
0.4.0-3.fc36
0.4.0-4.fc37
1
ocaml-menhir
20220210-4.fc37
20220210-5.fc37
1
ocaml-seq-devel
0.2.2-8.fc36
0.2.2-9.fc37
1
ocaml-zarith-devel
1.12-5.fc36
1.12-6.fc37
1
ocaml
4.13.1-4.fc37
4.14.0-1.fc37
1
ocaml-dune
2.9.3-2.fc36
2.9.3-3.fc37
1
ocaml-psmt2-frontend
0.4.0-3.fc36
0.4.0-4.fc37
2
ocaml-num
1.4-4.fc36
1.4-6.fc37
2
ocaml-astring
0.8.5-9.fc36
0.8.5-10.fc37
2
ocaml-ocplib-simplex
0.4-26.fc36
0.4-27.fc37
2
ocaml-compiler-libs
4.13.1-4.fc37
4.14.0-1.fc37
2
ocaml-fpath
0.7.3-7.fc36
0.7.3-8.fc37
2
ocaml-fmt
0.8.10-4.fc36
0.9.0-2.fc37
2
ocaml-result
1.5-11.fc36
1.5-12.fc37
2
ocaml-lablgtk
2.18.12-3.fc36
2.18.12-4.fc37
2
ocaml-csexp
1.5.1-6.fc36
1.5.1-7.fc37
2
ocaml-runtime
4.13.1-4.fc37
4.14.0-1.fc37
2
ocaml-zarith
1.12-5.fc36
1.12-6.fc37
2
ocaml-zip
1.11-3.fc36
1.11-4.fc37
2
redhat-rpm-config
223-1.fc37
224-1.fc37
2
ocaml-seq
0.2.2-8.fc36
0.2.2-9.fc37
2
ocaml-tyxml
4.5.0-10.fc37
4.5.0-11.fc37
2
ocaml-menhirlib-devel
20220210-4.fc37
20220210-5.fc37
2
ocaml-odoc-parser
1.0.0-3.fc36
1.0.0-4.fc37
2
ocaml-re
1.10.3-4.fc36
1.10.3-5.fc37
3
ocaml-menhirlib
20220210-4.fc37
20220210-5.fc37
3
ocaml-uutf
1.0.3-1.fc37
1.0.3-2.fc37
3
krb5-libs
1.19.2-9.fc37
1.19.2-11.fc37
3
ocaml-cmdliner
1.0.4-23.fc36
1.0.4-24.fc37
3
libX11-devel
1.7.5-1.fc37
1.8.1-1.fc37
3
ocaml-re-devel
1.10.3-5.fc37
3
libX11-xcb
1.7.5-1.fc37
1.8.1-1.fc37
4
libX11
1.7.5-1.fc37
1.8.1-1.fc37
4
libX11-common
1.7.5-1.fc37
1.8.1-1.fc37
B
failed
2022-06-15 03:36:05
libselinux
3.4-0.rc3.1.fc37
3.4-3.fc37
3
librsvg2
2.54.3-1.fc37
2.54.4-1.fc37
3
binutils
2.38-14.fc37
2.38-15.fc37
3
annobin-plugin-gcc
10.75-1.fc37
10.76-1.fc37
3
elfutils-debuginfod-client
0.187-4.fc37
0.187-5.fc37
4
elfutils-libelf
0.187-4.fc37
0.187-5.fc37
4
binutils-gold
2.38-14.fc37
2.38-15.fc37
4
libselinux-devel
3.4-0.rc3.1.fc37
3.4-3.fc37
4
libsepol
3.4-0.rc3.1.fc37
3.4-2.fc37
4
kernel-headers
5.19.0-0.rc1.git0.1....
5.19.0-0.rc2.git0.1....
4
annobin-docs
10.75-1.fc37
10.76-1.fc37
4
elfutils-libs
0.187-4.fc37
0.187-5.fc37
B
elfutils
0.187-4.fc37
0.187-5.fc37
B
libsepol-devel
3.4-0.rc3.1.fc37
3.4-2.fc37
B
libsemanage
3.4-0.rc3.1.fc37
3.4-2.fc37
B
elfutils-default-yama-scope
0.187-4.fc37
0.187-5.fc37
B
ocaml
4.13.1-4.fc36
4.13.1-4.fc37
1
ocaml-compiler-libs
4.13.1-4.fc36
4.13.1-4.fc37
2
ocaml-runtime
4.13.1-4.fc36
4.13.1-4.fc37
2
appstream-data
36-1.fc37
37-1.fc37
2
glibc
2.35.9000-20.fc37
2.35.9000-22.fc37
2
glibc-gconv-extra
2.35.9000-20.fc37
2.35.9000-22.fc37
3
python-srpm-macros
3.10-17.fc36
3.10-18.fc37
3
glibc-minimal-langpack
2.35.9000-20.fc37
2.35.9000-22.fc37
3
annobin-plugin-gcc
10.74-1.fc37
10.75-1.fc37
3
python3
3.10.4-1.fc37
3.10.5-2.fc37
3
glibc-common
2.35.9000-20.fc37
2.35.9000-22.fc37
3
glibc-devel
2.35.9000-20.fc37
2.35.9000-22.fc37
3
ocaml-srpm-macros
6-6.fc36
7-1.fc37
3
python3-libs
3.10.4-1.fc37
3.10.5-2.fc37
4
annobin-docs
10.74-1.fc37
10.75-1.fc37
4
glibc-headers-x86
2.35.9000-20.fc37
2.35.9000-22.fc37
4
gettext-libs
0.21-14.fc37.0.202...
0.21-15.fc37.0.202...
B
sqlite-libs
3.38.5-1.fc37
3.38.5-2.fc37
B
gettext
0.21-14.fc37.0.202...
0.21-15.fc37.0.202...
B
appstream
0.15.3-1.fc37
0.15.4-1.fc37
1
go-srpm-macros
3.0.15-1.fc36
3.0.15-2.fc37
3
openldap
2.6.2-1.fc37
2.6.2-2.fc37
3
perl-srpm-macros
1-43.fc36
1-45.fc37
3
annobin-plugin-gcc
10.73-1.fc37
10.74-1.fc37
3
annobin-docs
10.73-1.fc37
10.74-1.fc37
4
tzdata
2022a-1.fc37
2022a-2.fc37
4
libtiff-devel
4.3.0-6.fc37
4.4.0-1.fc37
4
libtiff
4.3.0-6.fc37
4.4.0-1.fc37
4
kernel-headers
5.18.0-1.fc37
5.19.0-0.rc1.git0.1....
4
gettext
0.21-13.fc37.0.202...
0.21-14.fc37.0.202...
B
gettext-libs
0.21-13.fc37.0.202...
0.21-14.fc37.0.202...
B
Previous history