3064662f ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d ocamlx(Stdlib__Lexing) = 205a58326f15a36b4e1f758ba16830f3 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Map) = 6a432a9badf64b8d816560c375e03ca5 ocamlx(Stdlib__Obj) = f6cd1f83091c70b468c6d6d4b7b6248c ocamlx(Stdlib__Parsing) = bb547742ac0ae3e655d514a89cd52cd3 ocamlx(Stdlib__Printexc) = 3d494d5741edf2d74fa1ea8b45eaf16c ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd ocamlx(Stdlib__Queue) = 9ce7a8dc97b91ba7763fe0f7f300ad93 ocamlx(Stdlib__Random) = 1787cbab60c5a2a5d1b5c104c91d1d9c ocamlx(Stdlib__Scanf) = f7e3c9d9b429eacea1cee4d6c6f66b63 ocamlx(Stdlib__Set) = c2fb84c095397287fba41eab0379d78c ocamlx(Stdlib__Stack) = 3d1e79dff1f7315240aaba59414923ef ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 ocamlx(Stdlib__Sys) = 4f85c9fad632104d251ce8405e3da7bd ocamlx(Stdlib__Weak) = d222625bd882688ba0fc5c4c16c63794 ocamlx(Str) = 5ac329f342ad49ed797911004a9f0f99 ocamlx(Unix) = 5f4cc5cb83244a016d432d1c22d8c351 ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10
Processing files: alt-ergo-debugsource-2.3.3-17.fc40.riscv64
Provides: alt-ergo-debugsource = 2.3.3-17.fc40 alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: alt-ergo-debuginfo-2.3.3-17.fc40.riscv64
Provides: alt-ergo-debuginfo = 2.3.3-17.fc40 alt-ergo-debuginfo(riscv-64) = 2.3.3-17.fc40 debuginfo(build-id) = 7d6e42476adb8ac3b9f7b4a886faa895c2d978cc
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Processing files: alt-ergo-gui-debuginfo-2.3.3-17.fc40.riscv64
Provides: alt-ergo-gui-debuginfo = 2.3.3-17.fc40 alt-ergo-gui-debuginfo(riscv-64) = 2.3.3-17.fc40 debuginfo(build-id) = 73f16ed8480be8f69a61f7d621bb44c894ce381a
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-17.fc40.riscv64
Provides: debuginfo(build-id) = 27306ae66eac069c19964c07db775c3dd7cbeed8 ocaml-alt-ergo-parsers-debuginfo = 2.3.3-17.fc40 ocaml-alt-ergo-parsers-debuginfo(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-17.fc40.riscv64
Provides: debuginfo(build-id) = 06a7f4b0063f5a11a3f8e66972ff16907ec8788f ocaml-alt-ergo-lib-debuginfo = 2.3.3-17.fc40 ocaml-alt-ergo-lib-debuginfo(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-17.fc40.riscv64.rpm
Child return code was: 0