ocaml-psmt2-frontend

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

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

glibc
2.40-21.fc41
2.40-23.fc41
2
python3-jinja2
3.1.5-1.fc41
3.1.6-1.fc41
2
glibc-minimal-langpack
2.40-21.fc41
2.40-23.fc41
3
rpm
4.20.0-1.fc41
4.20.1-1.fc41
3
glibc-common
2.40-21.fc41
2.40-23.fc41
3
glibc-gconv-extra
2.40-21.fc41
2.40-23.fc41
3
glibc-devel
2.40-21.fc41
2.40-23.fc41
3
pyproject-srpm-macros
1.17.0-1.fc41
1.18.1-1.fc41
3
tzdata
2025a-1.fc41
2025b-1.fc41
4
rpm-build
4.20.0-1.fc41
4.20.1-1.fc41
4
expat
2.6.4-1.fc41
2.7.1-1.fc41
4
rpm-libs
4.20.0-1.fc41
4.20.1-1.fc41
4
libxml2
2.12.9-1.fc41
2.12.10-1.fc41
B
rpm-build-libs
4.20.0-1.fc41
4.20.1-1.fc41
B
gdb-minimal
16.2-1.fc41
16.2-2.fc41
B
libidn2
2.3.7-2.fc41
2.3.8-1.fc41
B
openldap
2.6.8-7.fc41
2.6.9-1.fc41
B
info
7.1-3.fc41
7.1.1-1.fc41
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
130052858
2025-03-09 20:02:30
aarch64
├130052954 ( build.log | root.log )
ppc64le
├130052953 ( build.log | root.log )
x86_64
└130052952 ( build.log | root.log )
python3-packaging
24.1-2.fc41
24.2-3.fc41
2
libzstd
1.5.6-2.fc41
1.5.7-1.fc41
2
libzstd-devel
1.5.6-2.fc41
1.5.7-1.fc41
2
python3
3.13.1-2.fc41
3.13.2-1.fc41
2
python3-babel
2.16.0-1.fc41
2.17.0-1.fc41
2
zlib-ng-compat
2.2.3-1.fc41
2.2.3-2.fc41
3
qt6-srpm-macros
6.8.1-4.fc41
6.8.2-1.fc41
3
python3-libs
3.13.1-2.fc41
3.13.2-1.fc41
3
pyproject-srpm-macros
1.16.4-1.fc41
1.17.0-1.fc41
3
elfutils-libelf
0.192-7.fc41
0.192-9.fc41
4
kernel-headers
6.12.4-200.fc41
6.13.3-200.fc41
4
systemd-libs
256.11-1.fc41
256.12-1.fc41
4
openssl-libs
1:3.2.2-11.fc41
1:3.2.4-1.fc41
4
tzdata
2024b-1.fc41
2025a-1.fc41
4
libxcrypt-devel
4.4.38-3.fc41
4.4.38-6.fc41
4
elfutils-debuginfod-client
0.192-7.fc41
0.192-9.fc41
4
krb5-libs
1.21.3-3.fc41
1.21.3-4.fc41
B
crypto-policies
20241029-1.git8baf557....
20250124-1.git4d262e7....
B
elfutils-libs
0.192-7.fc41
0.192-9.fc41
B
elfutils-default-yama-scope
0.192-7.fc41
0.192-9.fc41
B
rpm-sequoia
1.7.0-3.fc41
1.7.0-5.fc41
B
fedora-release-identity-basic
41-29
41-31
B
elfutils
0.192-7.fc41
0.192-9.fc41
B
libxcrypt
4.4.38-3.fc41
4.4.38-6.fc41
B
libtasn1
4.19.0-9.fc41
4.20.0-1.fc41
B
fedora-release-common
41-29
41-31
B
zstd
1.5.6-2.fc41
1.5.7-1.fc41
B
fedora-release
41-29
41-31
B
lua-libs
5.4.6-6.fc41
5.4.7-3.fc41
B
gdb-minimal
15.2-4.fc41
16.2-1.fc41
B
Real build: ocaml-psmt2-frontend-0.4.0-21.fc41
complete
128611246
2025-01-29 15:41:33
aarch64
├128611360 ( build.log | root.log )
ppc64le
├128611361 ( build.log | root.log )
s390x
├128611362 ( build.log | root.log )
x86_64
└128611359 ( build.log | root.log )
ocaml
5.2.0-3.fc41
5.2.1-1.fc41
1
ocaml-menhir
20240715-1.fc41
20240715-2.fc41
1
ocaml-dune
3.16.1-1.fc41
3.17.2-1.fc41
1
ocaml-menhirlib-devel
20240715-1.fc41
20240715-2.fc41
2
ocaml-compiler-libs
5.2.0-3.fc41
5.2.1-1.fc41
2
ocaml-rpm-macros
5.2.0-3.fc41
5.2.1-1.fc41
2
ocaml-runtime
5.2.0-3.fc41
5.2.1-1.fc41
2
ocaml-menhirlib
20240715-1.fc41
20240715-2.fc41
3
complete
128543111
2025-01-28 00:06:31
aarch64
├128543185 ( build.log | root.log )
ppc64le
├128543187 ( build.log | root.log )
x86_64
└128543186 ( build.log | root.log )
python3-jinja2
3.1.4-5.fc41
3.1.5-1.fc41
2
glibc
2.40-17.fc41
2.40-21.fc41
2
gcc
14.2.1-3.fc41
14.2.1-7.fc41
2
util-linux
2.40.2-4.fc41
2.40.4-1.fc41
3
gcc-plugin-annobin
14.2.1-3.fc41
14.2.1-7.fc41
3
zlib-ng-compat
2.1.7-3.fc41
2.2.3-1.fc41
3
glibc-gconv-extra
2.40-17.fc41
2.40-21.fc41
3
glibc-common
2.40-17.fc41
2.40-21.fc41
3
cpp
14.2.1-3.fc41
14.2.1-7.fc41
3
go-srpm-macros
3.6.0-3.fc41
3.6.0-5.fc41
3
pyproject-srpm-macros
1.16.3-1.fc41
1.16.4-1.fc41
3
libgcc
14.2.1-3.fc41
14.2.1-7.fc41
3
glibc-minimal-langpack
2.40-17.fc41
2.40-21.fc41
3
glibc-devel
2.40-17.fc41
2.40-21.fc41
3
libgomp
14.2.1-3.fc41
14.2.1-7.fc41
3
systemd-libs
256.10-1.fc41
256.11-1.fc41
4
sqlite-libs
3.46.1-1.fc41
3.46.1-2.fc41
4
curl
8.9.1-2.fc41
8.9.1-3.fc41
4
libmount
2.40.2-4.fc41
2.40.4-1.fc41
4
setup
2.15.0-5.fc41
2.15.0-8.fc41
4
openssl-libs
1:3.2.2-9.fc41
1:3.2.2-11.fc41
4
libblkid
2.40.2-4.fc41
2.40.4-1.fc41
4
libstdc++
14.2.1-3.fc41
14.2.1-7.fc41
4
libuuid
2.40.2-4.fc41
2.40.4-1.fc41
4
audit-libs
4.0.2-1.fc41
4.0.3-1.fc41
4
libfdisk
2.40.2-4.fc41
2.40.4-1.fc41
4
libxcrypt-devel
4.4.36-12.fc41
4.4.38-3.fc41
4
libsmartcols
2.40.2-4.fc41
2.40.4-1.fc41
4
util-linux-core
2.40.2-4.fc41
2.40.4-1.fc41
4
tzdata
2024a-9.fc41
2024b-1.fc41
4
openldap
2.6.8-6.fc41
2.6.8-7.fc41
B
gdb-minimal
15.2-3.fc41
15.2-4.fc41
B
publicsuffix-list-dafsa
20240107-4.fc41
20250116-1.fc41
B
libtirpc
1.3.6-1.fc41
1.3.6-1.rc3.fc41
B
libcurl
8.9.1-2.fc41
8.9.1-3.fc41
B
xxhash-libs
0.8.2-4.fc41
0.8.3-1.fc41
B
debugedit
5.1-2.fc41
5.1-4.fc41
B
libxcrypt
4.4.36-12.fc41
4.4.38-3.fc41
B
complete
127287045
2024-12-27 10:58:10
aarch64
├127287156 ( build.log | root.log )
ppc64le
├127287158 ( build.log | root.log )
x86_64
└127287157 ( build.log | root.log )
python3
3.13.0-1.fc41
3.13.1-2.fc41
2
glibc
2.40-12.fc41
2.40-17.fc41
2
glibc-gconv-extra
2.40-12.fc41
2.40-17.fc41
3
glibc-common
2.40-12.fc41
2.40-17.fc41
3
glibc-minimal-langpack
2.40-12.fc41
2.40-17.fc41
3
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc41
3
glibc-devel
2.40-12.fc41
2.40-17.fc41
3
binutils
2.43.1-4.fc41
2.43.1-5.fc41
3
python3-libs
3.13.0-1.fc41
3.13.1-2.fc41
3
kernel-headers
6.11.3-300.fc41
6.12.4-200.fc41
4
systemd-libs
256.9-2.fc41
256.10-1.fc41
4
alternatives
1.30-1.fc41
1.31-1.fc41
4
libxcrypt-devel
4.4.36-11.fc41
4.4.36-12.fc41
4
libxml2
2.12.8-2.fc41
2.12.9-1.fc41
B
libxcrypt
4.4.36-11.fc41
4.4.36-12.fc41
B
complete
126844428
2024-12-14 17:35:02
aarch64
├126844526 ( build.log | root.log )
ppc64le
├126844527 ( build.log | root.log )
x86_64
└126844528 ( build.log | root.log )
glibc
2.40-11.fc41
2.40-12.fc41
2
qt6-srpm-macros
6.8.0-1.fc41
6.8.1-4.fc41
3
binutils
2.43.1-2.fc41
2.43.1-4.fc41
3
glibc-common
2.40-11.fc41
2.40-12.fc41
3
pyproject-srpm-macros
1.16.0-1.fc41
1.16.3-1.fc41
3
glibc-minimal-langpack
2.40-11.fc41
2.40-12.fc41
3
glibc-gconv-extra
2.40-11.fc41
2.40-12.fc41
3
glibc-devel
2.40-11.fc41
2.40-12.fc41
3
efi-srpm-macros
5-12.fc41
5-13.fc41
3
elfutils-libelf
0.192-6.fc41
0.192-7.fc41
4
libxcrypt-devel
4.4.36-10.fc41
4.4.36-11.fc41
4
elfutils-debuginfod-client
0.192-6.fc41
0.192-7.fc41
4
pam-libs
1.6.1-6.fc41
1.6.1-7.fc41
4
systemd-libs
256.8-1.fc41
256.9-2.fc41
4
pam
1.6.1-6.fc41
1.6.1-7.fc41
4
debugedit
5.1-1.fc41
5.1-2.fc41
B
fedora-release-identity-basic
41-27
41-29
B
elfutils-libs
0.192-6.fc41
0.192-7.fc41
B
libxcrypt
4.4.36-10.fc41
4.4.36-11.fc41
B
elfutils-default-yama-scope
0.192-6.fc41
0.192-7.fc41
B
elfutils
0.192-6.fc41
0.192-7.fc41
B
fedora-release
41-27
41-29
B
fedora-release-common
41-27
41-29
B
openldap
2.6.8-5.fc41
2.6.8-6.fc41
B
rpm-sequoia
1.7.0-2.fc41
1.7.0-3.fc41
B
complete
125965170
2024-11-17 23:48:24
aarch64
├125965253 ( build.log | root.log )
ppc64le
├125965251 ( build.log | root.log )
x86_64
└125965252 ( build.log | root.log )
ocaml-dune
3.16.0-3.fc41
3.16.1-1.fc41
1
glibc
2.40-3.fc41
2.40-11.fc41
2
coreutils
9.5-10.fc41
9.5-11.fc41
3
glibc-minimal-langpack
2.40-3.fc41
2.40-11.fc41
3
qt6-srpm-macros
6.7.2-3.fc41
6.8.0-1.fc41
3
pyproject-srpm-macros
1.15.1-1.fc41
1.16.0-1.fc41
3
glibc-gconv-extra
2.40-3.fc41
2.40-11.fc41
3
glibc-devel
2.40-3.fc41
2.40-11.fc41
3
glibc-common
2.40-3.fc41
2.40-11.fc41
3
build-reproducibility-srpm-macros
0.3.6-1.fc41
0.3.6-3.fc41
3
pam
1.6.1-5.fc41
1.6.1-6.fc41
4
expat
2.6.3-1.fc41
2.6.4-1.fc41
4
pam-libs
1.6.1-5.fc41
1.6.1-6.fc41
4
coreutils-common
9.5-10.fc41
9.5-11.fc41
4
add-determinism
0.3.6-1.fc41
0.3.6-3.fc41
4
libxcrypt-devel
4.4.36-7.fc41
4.4.36-10.fc41
4
elfutils-libelf
0.192-4.fc41
0.192-6.fc41
4
elfutils-debuginfod-client
0.192-4.fc41
0.192-6.fc41
4
systemd-libs
256.7-1.fc41
256.8-1.fc41
4
elfutils-libs
0.192-4.fc41
0.192-6.fc41
B
libxcrypt
4.4.36-7.fc41
4.4.36-10.fc41
B
libtirpc
1.3.6-0.fc41
1.3.6-1.fc41
B
fedora-release-common
41-25
41-27
B
fedora-release
41-25
41-27
B
elfutils-default-yama-scope
0.192-4.fc41
0.192-6.fc41
B
glibc-headers-x86
2.40-3.fc41
elfutils
0.192-4.fc41
0.192-6.fc41
B
gdb-minimal
15.2-1.fc41
15.2-3.fc41
B
debugedit
5.0-18.fc41
5.1-1.fc41
B
fedora-release-identity-basic
41-25
41-27
B
krb5-libs
1.21.3-2.fc41
1.21.3-3.fc41
B
crypto-policies
20241010-1.git8baf557....
20241029-1.git8baf557....
B
complete
125287834
2024-10-28 12:19:35
aarch64
├125287962 ( build.log | root.log )
ppc64le
├125287960 ( build.log | root.log )
x86_64
└125287961 ( build.log | root.log )
python3
3.13.0~rc2-3.fc41
3.13.0-1.fc41
2
rpm
4.19.92-6.fc41
4.20.0-1.fc41
3
pyproject-srpm-macros
1.14.0-1.fc41
1.15.1-1.fc41
3
binutils
2.43-3.fc41
2.43.1-2.fc41
3
coreutils
9.5-9.fc41
9.5-10.fc41
3
python3-urllib3
1.26.19-2.fc41
1.26.20-1.fc41
3
dwz
0.15-7.fc41
0.15-8.fc41
3
python3-libs
3.13.0~rc2-3.fc41
3.13.0-1.fc41
3
openssl-libs
1:3.2.2-7.fc41
1:3.2.2-9.fc41
4
libarchive
3.7.4-3.fc41
3.7.4-4.fc41
4
authselect-libs
1.5.0-7.fc41
1.5.0-8.fc41
4
elfutils-debuginfod-client
0.191-8.fc41
0.192-4.fc41
4
elfutils-libelf
0.191-8.fc41
0.192-4.fc41
4
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-1.0.fc41
4
systemd-libs
256.6-1.fc41
256.7-1.fc41
4
rpm-build
4.19.92-6.fc41
4.20.0-1.fc41
4
coreutils-common
9.5-9.fc41
9.5-10.fc41
4
kernel-headers
6.11.0-63.fc41
6.11.3-300.fc41
4
rpm-libs
4.19.92-6.fc41
4.20.0-1.fc41
4
rpm-build-libs
4.19.92-6.fc41
4.20.0-1.fc41
B
elfutils
0.191-8.fc41
0.192-4.fc41
B
fedora-release-common
41-0.21
41-25
B
libcom_err
1.47.1-3.fc41
1.47.1-6.fc41
B
fedora-release-identity-basic
41-0.21
41-25
B
authselect
1.5.0-7.fc41
1.5.0-8.fc41
B
libtirpc
1.3.5-0.fc41
1.3.6-0.fc41
B
elfutils-default-yama-scope
0.191-8.fc41
0.192-4.fc41
B
elfutils-libs
0.191-8.fc41
0.192-4.fc41
B
fedora-release
41-0.21
41-25
B
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc41
B
fedora-gpg-keys
41-0.5
41-1
B
debugedit
5.0-17.fc41
5.0-18.fc41
B
fedora-repos
41-0.5
41-1
B
shadow-utils
2:4.15.1-10.fc41
2:4.15.1-12.fc41
B
crypto-policies
20240826-1.gite824389....
20241010-1.git8baf557....
B
json-c
0.17-4.fc41
B
gdb-minimal
15.1-1.fc41
15.2-1.fc41
B
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues