fcc8a94d252818567fe891b ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Store) = 2f6454fc91b37071d87bb5cebe4b2b55 ocaml(Summary) = 1a13b8d870ac8992bb82c5e83dad9493 ocaml(Tacmach) = 9753df5b99ec0fe5661301dea7add21d ocaml(Tacred) = 37ee8894d8000aebbd2d77703542c3c1 ocaml(Tacticals) = 7d01d445a46f6d998791d71971c3ab10 ocaml(Tactics) = 099577d238184447aba08f9972f5cee3 ocaml(Tactypes) = f48964579ce12a67fe89657e8f42036e ocaml(Term) = b4ceec072e221ebc5ae55c3a6f534cd6 ocaml(Tok) = a2c4b487db0eb8a53bcf19d7b067bce1 ocaml(TransparentState) = 831b7b89c303278f6f19f6b48b5f3b91 ocaml(Type_errors) = 675b2068f4bea0b3fd13dca594a3b213 ocaml(Typeclasses) = 3c8e9f7d51cf466420868d98b4fba7a2 ocaml(UGraph) = 5fffdf91c88b333fcc443db96d75d9d7 ocaml(UState) = 769089d410702b8609a40d57396aad8b ocaml(Uint63) = ccf4e2651d53bc5f2ea1ee89888aecc0 ocaml(Unification) = 1a0f3d56148477cc5f0e7f7f9d65fe5e ocaml(Univ) = 001067b1bed59886a7cb3fa2348dca0e ocaml(UnivGen) = dfd607345e1cddc7bb47bd277d7bf7c1 ocaml(UnivNames) = 4f82edb8f42c3f7b6b33ebbdbcad8879 ocaml(UnivProblem) = f505ed50cabc546ea89b50c61c7620ec ocaml(UnivSubst) = 4c0c2a9833ad5e5e2eb6a6575789beca ocaml(Unix) = 3a423732520b05536abd290bef5048fe ocaml(Util) = fd8c2910344c6750f9bc82a898cd3193 ocaml(Values) = d7ad0b27a83baaf5bb6b915f0623f0b6 ocaml(Vars) = 5b2dc7e7b98f6f3006dff3646d01075a ocaml(Vernacexpr) = 66630f0c76c129fecb0823ef9251e57e ocaml(Vernacextend) = fdf5dc53d80d77d021a7166ef0028322 ocaml(Vmbytecodes) = d2f2a045f648996abe1281ea0b511b5e ocaml(Vmemitcodes) = 7743648aa59e4444f16748ec2ed2c5f7 ocaml(Vmvalues) = 864a0cfeed33d17ffdbb432537ca3f9f ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.5.3-7.fc40.riscv64
Provides: gappalib-coq-source = 1.5.3-7.fc40 gappalib-coq-source(riscv-64) = 1.5.3-7.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debugsource-1.5.3-7.fc40.riscv64
Provides: gappalib-coq-debugsource = 1.5.3-7.fc40 gappalib-coq-debugsource(riscv-64) = 1.5.3-7.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debuginfo-1.5.3-7.fc40.riscv64
Provides: debuginfo(build-id) = 9c2ee91aa123d0fd3b4e297f541236e99ae95629 gappalib-coq-debuginfo = 1.5.3-7.fc40 gappalib-coq-debuginfo(riscv-64) = 1.5.3-7.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(riscv-64) = 1.5.3-7.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.3-7.fc40.riscv64
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.3-7.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.3-7.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.3-7.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.5.3-7.fc40.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.Xau82M
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.3-7.fc40.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.66MATf
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91-SPECPARTS
+ rm -rf coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91 coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0