Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'], chrootPath='/var/lib/mock/f37-build-642917-72070/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f841eb4f0>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1658448000
Wrote: /builddir/build/SRPMS/ocaml-facile-1.1-75.fc37.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'], chrootPath='/var/lib/mock/f37-build-642917-72070/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f841eb4f0>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-facile.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1658448000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.icL2Yj
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf facile-1.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/facile-1.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd facile-1.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ echo 'Patch #0 (facile-1.1-makefile-fixes.patch):'
Patch #0 (facile-1.1-makefile-fixes.patch):
+ /usr/bin/patch --no-backup-if-mismatch -f -p1 -b --suffix .makefile-fixes --fuzz=2
patching file Makefile
patching file src/Makefile
Patch #1 (ocaml-facile-ocaml-4.patch):
+ echo 'Patch #1 (ocaml-facile-ocaml-4.patch):'
+ /usr/bin/patch --no-backup-if-mismatch -f -p1 -b --suffix .ocaml4 --fuzz=2
patching file src/facile.mli
patching file src/fcl_data.mli
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.7Sq6Ly
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd facile-1.1
+ ./configure --faciledir /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile
Checking for OCaml compiler (>= 3.02)...
OCaml 4.14.0 found
FaCiLe directory: /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile
+ make
cd src; make
make[1]: Entering directory '/builddir/build/BUILD/facile-1.1/src'
ocamldep  *.mli *.ml > .depend
ocamlc.opt  -c fcl_debug.mli
ocamlc.opt -g   -c fcl_debug.ml
ocamlc.opt  -c fcl_misc.mli
ocamlc.opt -g   -c fcl_misc.ml
File "fcl_misc.ml", line 52, characters 12-26:
52 |   let (+) = Pervasives.(+)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_misc.ml", line 53, characters 12-26:
53 |   let (-) = Pervasives.(-)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_misc.ml", line 54, characters 14-30:
54 |   let ( * ) = Pervasives.( * )
                   ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlc.opt  -c fcl_domain.mli
ocamlc.opt -g   -c fcl_domain.ml
File "fcl_domain.ml", line 152, characters 19-21:
152 |       if x < min_d or x > m then d
                         ^^
Alert deprecated: Stdlib.or
Use (||) instead.
File "fcl_domain.ml", line 218, characters 16-17:
218 | 	  if min <= mi & ma <= max
      	               ^
Alert deprecated: Stdlib.&
Use (&&) instead.
File "fcl_domain.ml", line 220, characters 33-35:
220 | 	  else if mi <= max & max <= ma or mi <= min & min <= ma
      	                                ^^
Alert deprecated: Stdlib.or
Use (||) instead.
File "fcl_domain.ml", line 220, characters 21-22:
220 | 	  else if mi <= max & max <= ma or mi <= min & min <= ma
      	                    ^
Alert deprecated: Stdlib.&
Use (&&) instead.
File "fcl_domain.ml", line 220, characters 46-47:
220 | 	  else if mi <= max & max <= ma or mi <= min & min <= ma
      	                                             ^
Alert deprecated: Stdlib.&
Use (&&) instead.
ocamlc.opt  -c fcl_setDomain.mli
ocamlc.opt -g   -c fcl_setDomain.ml
ocamlc.opt  -c fcl_float.mli
ocamlc.opt -g   -c fcl_float.ml
ocamlc.opt  -c fcl_stak.mli
ocamlc.opt -g   -c fcl_stak.ml
ocamlc.opt  -c fcl_data.mli
ocamlc.opt -g   -c fcl_data.ml
ocamlc.opt  -c fcl_cstr.mli
ocamlc.opt -g   -c fcl_cstr.ml
File "fcl_cstr.ml", line 49, characters 15-27:
49 |   let solved = Array.create nb_wakings false
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_cstr.ml", line 53, characters 9-23:
53 |       if Pervasives.not solved.(i) then begin
              ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_cstr.ml", line 64, characters 10-22:
64 |   woken = Array.create nb_wakings false;
               ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_cstr.ml", line 90, characters 12-24:
90 | let queue = Array.create nb_priorities []
                 ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlc.opt  -c fcl_var.mli
ocamlc.opt -g   -c fcl_var.ml
ocamlc.opt  -c fcl_invariant.mli
ocamlc.opt -g   -c fcl_invariant.ml
File "fcl_invariant.ml", line 89, characters 6-11:
89 |   let rname = Printf.sprintf "prod(%s...%s)" array.(0).name array.(n-1).name in
           ^^^^^
Warning 26 [unused-var]: unused variable rname.
ocamlc.opt  -c fcl_reify.mli
ocamlc.opt -g   -c fcl_reify.ml
ocamlc.opt  -c fcl_boolean.mli
ocamlc.opt -g   -c fcl_boolean.ml
ocamlc.opt  -c fcl_linear.mli
ocamlc.opt -g   -c fcl_linear.ml
ocamlc.opt  -c fcl_nonlinear.mli
ocamlc.opt -g   -c fcl_nonlinear.ml
File "fcl_nonlinear.ml", line 277, characters 9-23:
277 |     max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in
               ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_nonlinear.ml", line 277, characters 32-46:
277 |     max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in
                                      ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlc.opt  -c fcl_expr.mli
ocamlc.opt -g   -c fcl_expr.ml
File "fcl_expr.ml", line 320, characters 3-15:
320 | 	  Inte 0 as re when typ = Multe -> (0, [])
      	  ^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable re.
ocamlc.opt  -c fcl_arith.mli
ocamlc.opt -g   -c fcl_arith.ml
ocamlc.opt  -c fcl_conjunto.mli
ocamlc.opt -g   -c fcl_conjunto.ml
ocamlc.opt  -c fcl_goals.mli
ocamlc.opt -g   -c fcl_goals.ml
ocamlc.opt  -c fcl_fdArray.mli
ocamlc.opt -g   -c fcl_fdArray.ml
File "fcl_fdArray.ml", line 302, characters 6-20:
302 | 	    (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
      	     ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_fdArray.ml", line 302, characters 36-50:
302 | 	    (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
      	                                   ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlc.opt  -c fcl_gcc.mli
ocamlc.opt -g   -c fcl_gcc.ml
File "fcl_gcc.ml", line 25, characters 12-24:
25 |   and dfn = Array.create nb_vertices 0
                 ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 87, characters 18-37:
87 |   let bool_doms = Array.create_matrix k n false
                       ^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create_matrix
Use Array.make_matrix/ArrayLabels.make_matrix instead.
File "fcl_gcc.ml", line 88, characters 23-35:
88 |   and size_bool_doms = Array.create k (-1) in
                            ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 96, characters 13-25:
96 |   and flow = Array.create k none
                  ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 179, characters 16-28:
179 |     let preds = Array.create n [] in
                      ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 245, characters 16-28:
245 | 	let tmp_flow = Array.create k none in
      	               ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 385, characters 23-35:
385 |       let components = Array.create (k+n) (-1) in
                             ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 418, characters 26-38:
418 |       	let known_values = Array.create n 0 in
            	                   ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlc.opt  -c fcl_opti.mli
ocamlc.opt -g   -c fcl_opti.ml
ocamlc.opt  -c fcl_alldiff.mli
ocamlc.opt -g   -c fcl_alldiff.ml
File "fcl_alldiff.ml", line 64, characters 18-30:
64 |   let matchingl = Array.create n valout in (* var -> value : not backtrackable *)
                       ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlc.opt  -c fcl_sorting.mli
ocamlc.opt -g   -c fcl_sorting.ml
File "fcl_sorting.ml", line 30, characters 12-24:
30 |   let inv = Array.create n (-1) in
                 ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 93, characters 15-27:
93 |     let infI = Array.create n (-1) and supI = Array.create n (-1) in
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 93, characters 46-58:
93 |     let infI = Array.create n (-1) and supI = Array.create n (-1) in
                                                   ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 138, characters 16-28:
138 |     let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
                      ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 138, characters 48-60:
138 |     let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
                                                      ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 217, characters 14-26:
217 |       let b = Array.create n false
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 218, characters 14-26:
218 |       and t = Array.create n (-1) in
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 268, characters 14-26:
268 |       let c = Array.create n [||] in
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 358, characters 28-42:
358 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                     ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_sorting.ml", line 358, characters 59-73:
358 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                                                    ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_sorting.ml", line 371, characters 28-42:
371 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                     ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_sorting.ml", line 371, characters 59-73:
371 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                                                    ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlc.opt  -c fcl_interval.mli
ocamlc.opt -g   -c fcl_interval.ml
ocamlc.opt  -c fcl_genesis.mli
ocamlc.opt -g   -c fcl_genesis.ml
File "fcl_genesis.ml", line 28, characters 21-33:
28 |     let cstr_array = Array.create max_cstr (0, 0)
                          ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlc.opt  -c facile.mli
ocamlc.opt -g   -c facile.ml
ocamlc.opt -g -o facile.cma -a fcl_debug.cmo fcl_misc.cmo fcl_domain.cmo fcl_setDomain.cmo fcl_float.cmo fcl_stak.cmo fcl_data.cmo fcl_cstr.cmo fcl_var.cmo fcl_invariant.cmo fcl_reify.cmo fcl_boolean.cmo fcl_linear.cmo fcl_nonlinear.cmo fcl_expr.cmo fcl_arith.cmo fcl_conjunto.cmo fcl_goals.cmo fcl_fdArray.cmo fcl_gcc.cmo fcl_opti.cmo fcl_alldiff.cmo fcl_sorting.cmo fcl_interval.cmo fcl_genesis.cmo facile.cmo
ocamlopt -unsafe -noassert -inline 10   -c fcl_debug.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_misc.ml
File "fcl_misc.ml", line 52, characters 12-26:
52 |   let (+) = Pervasives.(+)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_misc.ml", line 53, characters 12-26:
53 |   let (-) = Pervasives.(-)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_misc.ml", line 54, characters 14-30:
54 |   let ( * ) = Pervasives.( * )
                   ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlopt -unsafe -noassert -inline 10   -c fcl_domain.ml
File "fcl_domain.ml", line 152, characters 19-21:
152 |       if x < min_d or x > m then d
                         ^^
Alert deprecated: Stdlib.or
Use (||) instead.
File "fcl_domain.ml", line 218, characters 16-17:
218 | 	  if min <= mi & ma <= max
      	               ^
Alert deprecated: Stdlib.&
Use (&&) instead.
File "fcl_domain.ml", line 220, characters 33-35:
220 | 	  else if mi <= max & max <= ma or mi <= min & min <= ma
      	                                ^^
Alert deprecated: Stdlib.or
Use (||) instead.
File "fcl_domain.ml", line 220, characters 21-22:
220 | 	  else if mi <= max & max <= ma or mi <= min & min <= ma
      	                    ^
Alert deprecated: Stdlib.&
Use (&&) instead.
File "fcl_domain.ml", line 220, characters 46-47:
220 | 	  else if mi <= max & max <= ma or mi <= min & min <= ma
      	                                             ^
Alert deprecated: Stdlib.&
Use (&&) instead.
ocamlopt -unsafe -noassert -inline 10   -c fcl_setDomain.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_float.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_stak.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_data.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_cstr.ml
File "fcl_cstr.ml", line 49, characters 15-27:
49 |   let solved = Array.create nb_wakings false
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_cstr.ml", line 53, characters 9-23:
53 |       if Pervasives.not solved.(i) then begin
              ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_cstr.ml", line 64, characters 10-22:
64 |   woken = Array.create nb_wakings false;
               ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_cstr.ml", line 90, characters 12-24:
90 | let queue = Array.create nb_priorities []
                 ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlopt -unsafe -noassert -inline 10   -c fcl_var.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_invariant.ml
File "fcl_invariant.ml", line 89, characters 6-11:
89 |   let rname = Printf.sprintf "prod(%s...%s)" array.(0).name array.(n-1).name in
           ^^^^^
Warning 26 [unused-var]: unused variable rname.
ocamlopt -unsafe -noassert -inline 10   -c fcl_reify.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_boolean.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_linear.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_nonlinear.ml
File "fcl_nonlinear.ml", line 277, characters 9-23:
277 |     max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in
               ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_nonlinear.ml", line 277, characters 32-46:
277 |     max (Pervasives.abs min_y) (Pervasives.abs max_y) - 1 in
                                      ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlopt -unsafe -noassert -inline 10   -c fcl_expr.ml
File "fcl_expr.ml", line 320, characters 3-15:
320 | 	  Inte 0 as re when typ = Multe -> (0, [])
      	  ^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable re.
ocamlopt -unsafe -noassert -inline 10   -c fcl_arith.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_conjunto.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_goals.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_fdArray.ml
File "fcl_fdArray.ml", line 302, characters 6-20:
302 | 	    (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
      	     ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_fdArray.ml", line 302, characters 36-50:
302 | 	    (Pervasives.min mi (Fd.min e), Pervasives.max ma (Fd.max e)))
      	                                   ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlopt -unsafe -noassert -inline 10   -c fcl_gcc.ml
File "fcl_gcc.ml", line 25, characters 12-24:
25 |   and dfn = Array.create nb_vertices 0
                 ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 87, characters 18-37:
87 |   let bool_doms = Array.create_matrix k n false
                       ^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create_matrix
Use Array.make_matrix/ArrayLabels.make_matrix instead.
File "fcl_gcc.ml", line 88, characters 23-35:
88 |   and size_bool_doms = Array.create k (-1) in
                            ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 96, characters 13-25:
96 |   and flow = Array.create k none
                  ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 179, characters 16-28:
179 |     let preds = Array.create n [] in
                      ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 245, characters 16-28:
245 | 	let tmp_flow = Array.create k none in
      	               ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 385, characters 23-35:
385 |       let components = Array.create (k+n) (-1) in
                             ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_gcc.ml", line 418, characters 26-38:
418 |       	let known_values = Array.create n 0 in
            	                   ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlopt -unsafe -noassert -inline 10   -c fcl_opti.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_alldiff.ml
File "fcl_alldiff.ml", line 64, characters 18-30:
64 |   let matchingl = Array.create n valout in (* var -> value : not backtrackable *)
                       ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlopt -unsafe -noassert -inline 10   -c fcl_sorting.ml
File "fcl_sorting.ml", line 30, characters 12-24:
30 |   let inv = Array.create n (-1) in
                 ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 93, characters 15-27:
93 |     let infI = Array.create n (-1) and supI = Array.create n (-1) in
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 93, characters 46-58:
93 |     let infI = Array.create n (-1) and supI = Array.create n (-1) in
                                                   ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 138, characters 16-28:
138 |     let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
                      ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 138, characters 48-60:
138 |     let infI' = Array.create n (-1) and supI' = Array.create n (-1) in
                                                      ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 217, characters 14-26:
217 |       let b = Array.create n false
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 218, characters 14-26:
218 |       and t = Array.create n (-1) in
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 268, characters 14-26:
268 |       let c = Array.create n [||] in
                    ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
File "fcl_sorting.ml", line 358, characters 28-42:
358 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                     ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_sorting.ml", line 358, characters 59-73:
358 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                                                    ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_sorting.ml", line 371, characters 28-42:
371 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                     ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "fcl_sorting.ml", line 371, characters 59-73:
371 |       	(fun (inf, sup) x -> Pervasives.min (Fd.min x) inf, Pervasives.max (Fd.max x) sup) (max_int, min_int) a in
            	                                                    ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlopt -unsafe -noassert -inline 10   -c fcl_interval.ml
ocamlopt -unsafe -noassert -inline 10   -c fcl_genesis.ml
File "fcl_genesis.ml", line 28, characters 21-33:
28 |     let cstr_array = Array.create max_cstr (0, 0)
                          ^^^^^^^^^^^^
Alert deprecated: Stdlib.Array.create
Use Array.make/ArrayLabels.make instead.
ocamlopt -unsafe -noassert -inline 10   -c facile.ml
ocamlopt -unsafe -noassert -inline 10 -o facile.cmxa -a fcl_debug.cmx fcl_misc.cmx fcl_domain.cmx fcl_setDomain.cmx fcl_float.cmx fcl_stak.cmx fcl_data.cmx fcl_cstr.cmx fcl_var.cmx fcl_invariant.cmx fcl_reify.cmx fcl_boolean.cmx fcl_linear.cmx fcl_nonlinear.cmx fcl_expr.cmx fcl_arith.cmx fcl_conjunto.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_opti.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx fcl_genesis.cmx facile.cmx
ocamlmktop -o facile facile.cma
make[1]: Leaving directory '/builddir/build/BUILD/facile-1.1/src'
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.fo026U
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64
++ dirname /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd facile-1.1
+ mkdir -p /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml
+ make install
if test -d /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile; then : ; else mkdir /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile; fi
install -m 644 src/*.mli /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile
if [ -e src/facile.cmi ] ; then cp src/facile.cmi /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile ; fi
if [ -e src/facile.cma ] ; then cp src/facile.cma /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile ; fi
if [ -e src/facile.a ] ; then cp src/facile.a /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile ; fi
if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile ; fi
if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.cmi ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.cmi ; fi
if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.cma ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.cma ; fi
if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.cmxa ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.cmxa ; fi
if [ -e /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.a ] ; then chmod a+r /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/lib64/ocaml/facile/facile.a ; fi
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: ocaml-facile-1.1-75.fc37.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.GQH8iV
+ umask 022
+ cd /builddir/build/BUILD
+ cd facile-1.1
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/share/doc/ocaml-facile
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/share/doc/ocaml-facile
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/share/doc/ocaml-facile
+ cp -pr README /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64/usr/share/doc/ocaml-facile
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Facile) = c1a325ecefe367b7cc6a6f423e36180c ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71 ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae ocaml-facile = 1.1-75.fc37 ocaml-facile(riscv-64) = 1.1-75.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71 ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Pervasives) = dc77fedcffc67c0119b789c66d5ef7bf ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a
Processing files: ocaml-facile-devel-1.1-75.fc37.riscv64
Provides: ocaml(Facile) = c1a325ecefe367b7cc6a6f423e36180c ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71 ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae ocaml-facile-devel = 1.1-75.fc37 ocaml-facile-devel(riscv-64) = 1.1-75.fc37 ocamlx(Facile) = 4625f2ac065f63dad7a0ab42b3e38cbf ocamlx(Fcl_alldiff) = f8449d669f9eb4bba4c996c793faf9e2 ocamlx(Fcl_arith) = e6b61e304ef4b726f00c6df922043271 ocamlx(Fcl_boolean) = 500b78fc076f70f6772bf18ccf1479e3 ocamlx(Fcl_conjunto) = 3aa79a08c578edc1e426d109d8cdf654 ocamlx(Fcl_cstr) = a3040981366dfbe197e1e24c66f29567 ocamlx(Fcl_data) = ec81c9fba4d63e42f42005ec2a3164dd ocamlx(Fcl_debug) = 21ba74d10aef9644f368f98aa5aa6200 ocamlx(Fcl_domain) = 6de894cbae5e72f31b0724eb608c7c53 ocamlx(Fcl_expr) = f1ac9de108de6940aa19c7c9e3963cda ocamlx(Fcl_fdArray) = cf067dc4eb53b9d4dcd794c1ef5000a5 ocamlx(Fcl_float) = a34290bdf45d165548eecfe4c14d3878 ocamlx(Fcl_gcc) = a35ba93964715f7bc43d80894a25ee94 ocamlx(Fcl_genesis) = 5e114ef0d977244b2a105e3660ed0758 ocamlx(Fcl_goals) = a195bbb01e9e239f0835f3e31d2dac92 ocamlx(Fcl_interval) = ceb459615db76e9e5e08b0d372a095dd ocamlx(Fcl_invariant) = 23b570a136cd5888e454b32883b1d8b7 ocamlx(Fcl_linear) = 3ae14da414d3e2bf1172921a631ccbc3 ocamlx(Fcl_misc) = 7f5d1bddc4fb2752fb907f0b9e285675 ocamlx(Fcl_nonlinear) = d1d1d850bf833c1e192bffadf8c0893d ocamlx(Fcl_opti) = 6175d5dc73b4b3acdb27760dbdf6de92 ocamlx(Fcl_reify) = 71022d7a98defbdab30d4536457d1303 ocamlx(Fcl_setDomain) = b4c5be14e7c83fd604dda804feb455ee ocamlx(Fcl_sorting) = 4995ed66ead9de69a5c7b6e5cd3c2c2c ocamlx(Fcl_stak) = b692af4d09189726139a54f63d59c073 ocamlx(Fcl_var) = 9153252f0c6aa476a713e791f6e047d4
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71 ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Pervasives) = dc77fedcffc67c0119b789c66d5ef7bf ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a ocamlx(Fcl_alldiff) = f8449d669f9eb4bba4c996c793faf9e2 ocamlx(Fcl_arith) = e6b61e304ef4b726f00c6df922043271 ocamlx(Fcl_boolean) = 500b78fc076f70f6772bf18ccf1479e3 ocamlx(Fcl_conjunto) = 3aa79a08c578edc1e426d109d8cdf654 ocamlx(Fcl_cstr) = a3040981366dfbe197e1e24c66f29567 ocamlx(Fcl_data) = ec81c9fba4d63e42f42005ec2a3164dd ocamlx(Fcl_debug) = 21ba74d10aef9644f368f98aa5aa6200 ocamlx(Fcl_domain) = 6de894cbae5e72f31b0724eb608c7c53 ocamlx(Fcl_expr) = f1ac9de108de6940aa19c7c9e3963cda ocamlx(Fcl_fdArray) = cf067dc4eb53b9d4dcd794c1ef5000a5 ocamlx(Fcl_float) = a34290bdf45d165548eecfe4c14d3878 ocamlx(Fcl_gcc) = a35ba93964715f7bc43d80894a25ee94 ocamlx(Fcl_genesis) = 5e114ef0d977244b2a105e3660ed0758 ocamlx(Fcl_goals) = a195bbb01e9e239f0835f3e31d2dac92 ocamlx(Fcl_interval) = ceb459615db76e9e5e08b0d372a095dd ocamlx(Fcl_invariant) = 23b570a136cd5888e454b32883b1d8b7 ocamlx(Fcl_linear) = 3ae14da414d3e2bf1172921a631ccbc3 ocamlx(Fcl_misc) = 7f5d1bddc4fb2752fb907f0b9e285675 ocamlx(Fcl_nonlinear) = d1d1d850bf833c1e192bffadf8c0893d ocamlx(Fcl_opti) = 6175d5dc73b4b3acdb27760dbdf6de92 ocamlx(Fcl_reify) = 71022d7a98defbdab30d4536457d1303 ocamlx(Fcl_setDomain) = b4c5be14e7c83fd604dda804feb455ee ocamlx(Fcl_sorting) = 4995ed66ead9de69a5c7b6e5cd3c2c2c ocamlx(Fcl_stak) = b692af4d09189726139a54f63d59c073 ocamlx(Fcl_var) = 9153252f0c6aa476a713e791f6e047d4 ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996 ocamlx(Stdlib__Array) = bb1212fc50265efb994301edbd2f0ecc ocamlx(Stdlib__Hashtbl) = c60c5e9b84ec15b69584c299944d0abb ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 ocamlx(Stdlib__Pervasives) = 70b19cf810e627da404b6c43c412d039 ocamlx(Stdlib__Printf) = 5637860688f82d7f837407cfaf0a6fae ocamlx(Stdlib__Random) = bd6cc79123202b55fdf31fc087aa06eb ocamlx(Stdlib__Set) = 9d41b0f6935651fa2b340a0986078a0a ocamlx(Stdlib__Sys) = b7b20574aeaf6b9579b0e18cd71b27d3 ocamlx(Stdlib__Weak) = bba061f4005216cd927f027dd350ea87
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64
Wrote: /builddir/build/RPMS/ocaml-facile-1.1-75.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-facile-devel-1.1-75.fc37.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.U7CM0L
+ umask 022
+ cd /builddir/build/BUILD
+ cd facile-1.1
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-facile-1.1-75.fc37.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.2Y6a8o
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf facile-1.1 facile-1.1.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0