0881f25b ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90 ocamlx(Stdlib__Lexing) = c1a768a943b2d5bd82715a40f3ca91a5 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542 ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96 ocamlx(Stdlib__Parsing) = 111a2fa01bf23d64f78c47367d510918 ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3 ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5 ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557 ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789 ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4 ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0 ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992 ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0 ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14 ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907 ocamlx(Z) = 03ba7126653ad2609264e50ad753c6a2
Processing files: alt-ergo-debugsource-2.3.3-18.fc41.riscv64
Provides: alt-ergo-debugsource = 2.3.3-18.fc41 alt-ergo-debugsource(riscv-64) = 2.3.3-18.fc41
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-18.fc41.riscv64
Provides: alt-ergo-debuginfo = 2.3.3-18.fc41 alt-ergo-debuginfo(riscv-64) = 2.3.3-18.fc41 debuginfo(build-id) = 43c1137708d31efd143cac5d4dd1d1234ac5804e
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-18.fc41
Processing files: alt-ergo-gui-debuginfo-2.3.3-18.fc41.riscv64
Provides: alt-ergo-gui-debuginfo = 2.3.3-18.fc41 alt-ergo-gui-debuginfo(riscv-64) = 2.3.3-18.fc41 debuginfo(build-id) = 91f5e52820b04070679dcee4caaba3930a746a21
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-18.fc41
Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-18.fc41.riscv64
Provides: debuginfo(build-id) = 188e21a95f15f805bd29879b8f24127f1a68a32d ocaml-alt-ergo-parsers-debuginfo = 2.3.3-18.fc41 ocaml-alt-ergo-parsers-debuginfo(riscv-64) = 2.3.3-18.fc41
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-18.fc41
Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-18.fc41.riscv64
Provides: debuginfo(build-id) = 2bdd40bde32723106da6fd23ef35722aaa018caa ocaml-alt-ergo-lib-debuginfo = 2.3.3-18.fc41 ocaml-alt-ergo-lib-debuginfo(riscv-64) = 2.3.3-18.fc41
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-18.fc41
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.riscv64
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-18.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-18.fc41.riscv64.rpm
Child return code was: 0