ocaml-lambda-term

Package information

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

Scheduler parameters

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

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
131769204
2025-04-20 17:05:33
aarch64
├131769309 ( build.log | root.log )
ppc64le
├131769308 ( build.log | root.log )
x86_64
└131769307 ( build.log | root.log )
ocaml-dune
3.18.0-1.fc43
3.18.1-1.fc43
1
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
3
grep
3.11-10.fc42
3.12-1.fc43
3
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
glibc-devel
2.41.9000-9.fc43
2.41.9000-10.fc43
3
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
3
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
3
cpp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libgcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
rpm
4.20.1-3.fc43
5.99.90-3.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
3
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
3
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
3
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
libcap
2.73-2.fc42
2.76-1.fc43
4
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
4
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
4
kernel-headers
6.14.0-63.fc43
6.15.0-0.rc2.22.fc43
4
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
4
libusb1
1.0.28-2.fc43
B
libgpg-error
1.54-1.fc43
B
libfsverity
1.6-2.fc42
B
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
libassuan
2.5.7-3.fc42
B
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
B
rpm-sign-libs
5.99.90-3.fc43
B
tpm2-tss
4.1.3-7.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
nettle
3.10.1-1.fc43
B
npth
1.8-2.fc42
B
gnupg2
2.4.7-3.fc43
B
libgcrypt
1.11.0-5.fc42
B
gnutls
3.8.9-5.fc43
B
libksba
1.6.7-3.fc42
B
complete
131488601
2025-04-13 19:19:25
aarch64
├131488697 ( build.log | root.log )
ppc64le
├131488696 ( build.log | root.log )
x86_64
└131488695 ( build.log | root.log )
redhat-rpm-config
342-2.fc42
343-3.fc43
2
glibc
2.41.9000-7.fc43
2.41.9000-9.fc43
2
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
cpp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
3
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
python3
3.13.2-2.fc43
3.13.3-1.fc43
3
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-devel
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-common
2.41.9000-7.fc43
2.41.9000-9.fc43
3
coreutils
9.6-2.fc43
9.7-1.fc43
3
python3-libs
3.13.2-2.fc43
3.13.3-1.fc43
4
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
coreutils-common
9.6-2.fc43
9.7-1.fc43
4
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
systemd-libs
257.4-3.fc43
257.5-2.fc43
4
debugedit
5.1-5.fc43
5.1-6.fc43
B
libffi
3.4.7-3.fc43
3.4.7-4.fc43
B
fedora-release-identity-basic
43-0.10
43-0.13
B
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
B
fedora-release-common
43-0.10
43-0.13
B
fedora-release
43-0.10
43-0.13
B
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
B
diffutils
3.11-3.fc43
3.12-1.fc43
B
complete
131087409
2025-04-04 06:36:39
aarch64
├131087540 ( build.log | root.log )
ppc64le
├131087539 ( build.log | root.log )
x86_64
└131087538 ( build.log | root.log )
ocaml-dune
3.17.2-1.fc42
3.18.0-1.fc43
1
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-7.fc43
3
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
3
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
3
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
4
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
4
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
B
libffi
3.4.7-2.fc43
3.4.7-3.fc43
B
expat
2.7.0-1.fc43
2.7.1-1.fc43
B
patch
2.7.6-26.fc42
2.8-1.fc43
B
fedora-release
43-0.8
43-0.10
B
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
B
fedora-release-common
43-0.8
43-0.10
B
fedora-release-identity-basic
43-0.8
43-0.10
B
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
B
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
B
complete
130887217
2025-03-29 19:51:42
aarch64
├130887301 ( build.log | root.log )
ppc64le
├130887300 ( build.log | root.log )
x86_64
└130887299 ( build.log | root.log )
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
3
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
3
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
3
python-srpm-macros
3.13-4.fc42
3.13-5.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
3
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
curl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
4
kernel-headers
6.14.0-0.rc7.56.fc43
6.14.0-63.fc43
4
setup
2.15.0-14.fc43
2.15.0-23.fc43
4
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-2.fc43
4
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
B
fedora-release-identity-basic
43-0.7
43-0.8
B
python-pip-wheel
24.3.1-2.fc42
25.0.1-3.fc43
B
fedora-release-common
43-0.7
43-0.8
B
libcurl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
B
gdb-minimal
16.2-1.fc43
16.2-3.fc43
B
openldap
2.6.9-3.fc42
2.6.9-5.fc43
B
fedora-release
43-0.7
43-0.8
B
tzdata
2025a-1.fc43
2025b-1.fc43
B
diffutils
3.10-9.fc42
3.11-3.fc43
B
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
B
Real build: ocaml-lambda-term-3.3.2-16.fc43
complete
130450250
2025-03-18 19:52:31
aarch64
├130450356 ( build.log | root.log )
ppc64le
├130450357 ( build.log | root.log )
s390x
├130450359 ( build.log | root.log )
x86_64
└130450355 ( build.log | root.log )
ocaml-logs-devel
0.7.0-26.fc43
0.8.0-1.fc43
1
gcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
ocaml-logs
0.7.0-26.fc43
0.8.0-1.fc43
2
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
3
libgomp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
efi-srpm-macros
6-2.fc42
6-3.fc43
3
gcc-plugin-annobin
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
libgcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
3
cpp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
curl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
4
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-0.rc7.56.fc43
4
annobin-docs
12.92-1.fc43
12.93-1.fc43
4
libstdc++
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
libcurl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
B
Real build: ocaml-lambda-term-3.3.2-15.fc43
complete
130264329
2025-03-14 15:49:52
aarch64
├130264500 ( build.log | root.log )
ppc64le
├130264501 ( build.log | root.log )
s390x
├130264502 ( build.log | root.log )
x86_64
└130264499 ( build.log | root.log )
ocaml-zed-devel
3.2.3-13.fc42
3.2.3-14.fc43
1
ocaml-zed
3.2.3-13.fc42
3.2.3-14.fc43
2
ocaml-uutf
1.0.3-19.fc42
1.0.4-1.fc43
2
ocaml-uutf-devel
1.0.3-19.fc42
1.0.4-1.fc43
2
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
4
libarchive
3.7.7-3.fc43
3.7.7-4.fc43
4
alternatives
1.31-3.fc42
1.32-1.fc43
4
curl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
4
expat
2.6.4-2.fc42
2.7.0-1.fc43
B
libcurl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
B
libxml2
2.12.9-2.fc42
2.12.10-1.fc43
B
complete
130160867
2025-03-12 06:08:26
aarch64
├130160945 ( build.log | root.log )
ppc64le
├130160944 ( build.log | root.log )
x86_64
└130160943 ( build.log | root.log )
ocaml-logs-devel
0.7.0-25.fc42
0.7.0-26.fc43
1
ocaml-fmt
0.9.0-20.fc42
0.10.0-1.fc43
2
ocaml-logs
0.7.0-25.fc42
0.7.0-26.fc43
2
gcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
ocaml-fmt-devel
0.9.0-20.fc42
0.10.0-1.fc43
2
cpp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
gcc-plugin-annobin
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
tree-sitter-srpm-macros
0.1.0-8.fc42
0.2.0-1.fc43
3
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
3
libgomp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
kernel-headers
6.14.0-0.rc4.36.fc43
6.14.0-0.rc6.49.fc43
4
systemd-libs
257.3-7.fc43
257.4-3.fc43
4
curl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
4
setup
2.15.0-12.fc43
2.15.0-14.fc43
4
readline
8.2-12.fc42
8.2-13.fc43
4
annobin-docs
12.88-1.fc42
12.92-1.fc43
4
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
B
libcurl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
B
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
B
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
B
fedora-release
43-0.6
43-0.7
B
fedora-release-common
43-0.6
43-0.7
B
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
B
fedora-release-identity-basic
43-0.6
43-0.7
B
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
B
libffi
3.4.6-5.fc42
3.4.7-2.fc43
B
complete
129724302
2025-03-02 05:39:19
aarch64
├129724406 ( build.log | root.log )
ppc64le
├129724405 ( build.log | root.log )
x86_64
└129724404 ( build.log | root.log )
gcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-2.fc43
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc43
2
libgcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-2.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-2.fc43
3
rpm
4.20.0-8.fc42
4.20.1-1.fc43
3
glibc-devel
2.40.9000-37.fc43
2.41.9000-2.fc43
3
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
cpp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-2.fc43
3
libgomp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
3
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
3
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc43
3
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
libblkid
2.40.4-6.fc43
2.40.4-7.fc43
4
libmount
2.40.4-6.fc43
2.40.4-7.fc43
4
coreutils-common
9.6-1.fc42
9.6-2.fc43
4
libarchive
3.7.7-2.fc42
3.7.7-3.fc43
4
rpm-build
4.20.0-8.fc42
4.20.1-1.fc43
4
libstdc++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
4
libfdisk
2.40.4-6.fc43
2.40.4-7.fc43
4
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
4
kernel-headers
6.14.0-0.rc2.22.fc43
6.14.0-0.rc4.36.fc43
4
pcre2
10.44-1.fc43.2
10.45-1.fc43
4
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc43
4
libuuid
2.40.4-6.fc43
2.40.4-7.fc43
4
openssl-libs
1:3.2.4-1.fc43
1:3.2.4-2.fc43
4
util-linux-core
2.40.4-6.fc43
2.40.4-7.fc43
4
pcre2-syntax
10.44-1.fc43.2
10.45-1.fc43
B
fedora-release-common
43-0.2
43-0.6
B
debugedit
5.1-4.fc42
5.1-5.fc43
B
zstd
1.5.6-3.fc42
1.5.7-1.fc43
B
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc43
B
fedora-release-identity-basic
43-0.2
43-0.6
B
fedora-release
43-0.2
43-0.6
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues