Build:
- 0
2026-06-16 11:48.15: New job: build pa_monad_custom.v6.0.0 (e464a31ce1b6) 2026-06-16 11:48.15: Waiting for resource in pool day11-builds 2026-06-16 12:08.17: Got resource from pool day11-builds 2026-06-16 12:08.17: [profile full] build pa_monad_custom.v6.0.0 2026-06-16 12:08.17: build pa_monad_custom.v6.0.0 (e464a31ce1b6) === DEPENDENCIES (6 transitive) === camlp4.4.14+1 abfb608e8fa9 ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-config.2 669e0fcf9e4d ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e === STDOUT === Processing: [default: loading data] [pa_monad_custom.v6.0.0: dl] [pa_monad_custom.v6.0.0: extract] -> retrieved pa_monad_custom.v6.0.0 (https://opam.ocaml.org/cache) [pa_monad_custom: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-configure" "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/pa_monad_custom.v6.0.0) - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 44, characters 20-36: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 44, characters 42-58: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 52, characters 14-30: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 52, characters 38-54: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 55, characters 25-41: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 126, characters 10-26: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/PropList.ml", line 87, characters 13-29: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 45, characters 21-40: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 46, characters 21-38: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 57, characters 19-38: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 58, characters 19-36: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 38, characters 10-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 44, characters 10-21: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 47, characters 23-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 50, characters 20-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 53, characters 10-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 56, characters 16-28: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 15-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 32-42: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 48-61: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 58, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 59, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 60, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 64, characters 4-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 82, characters 24-40: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 84, characters 21-33: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 85, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 85, characters 41-53: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 87, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 87, characters 41-54: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 89, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 89, characters 50-62: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 91, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 91, characters 50-63: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 93, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 106, characters 15-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 146, characters 31-50: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 147, characters 31-48: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 148, characters 31-50: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 149, characters 31-48: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - I: Running command '/home/opam/.opam/default/bin/ocamlc.opt -config > '/tmp/oasis-de9702.txt'' - I: Running command '/home/opam/.opam/default/bin/ocamlfind query -format %v findlib > '/tmp/oasis-ad9d21.txt'' - I: Running command '/home/opam/.opam/default/bin/ocamlfind query -format %d camlp4.lib > '/tmp/oasis-6bedc4.txt'' - I: Running command '/home/opam/.opam/default/bin/ocamlfind query -format %d camlp4.quotations > '/tmp/oasis-2a1d12.txt'' - - Configuration: - - pkg_camlp4_quotations: ......................... /home/opam/.opam/default/lib/ocaml/camlp4 - pkg_camlp4_lib: ................................ /home/opam/.opam/default/lib/ocaml/camlp4 - make: .......................................... /usr/bin/make - Compile with ocaml profile flag on.: ........... false - Compile with ocaml debug flag on.: ............. true - Remove a directory.: ........................... rm -rf - Remove a file.: ................................ rm -f - suffix_program: ................................ - is_native: ..................................... true - findlib_version: ............................... 1.9.8 - PS documentation: .............................. $docdir - PDF documentation: ............................. $docdir - DVI documentation: ............................. $docdir - HTML documentation: ............................ $docdir - Documentation root: ............................ $datarootdir/doc/$pkg_name - Man documentation: ............................. $datarootdir/man - Locale-dependent data: ......................... $datarootdir/locale - Info documentation: ............................ $datarootdir/info - Read-only architecture-independent data: ....... $datarootdir - Read-only arch-independent data root: .......... $prefix/share - Object code libraries: ......................... $exec_prefix/lib - Modifiable single-machine data: ................ $prefix/var - Modifiable architecture-independent data: ...... $prefix/com - Read-only single-machine data: ................. $prefix/etc - Program executables: ........................... $exec_prefix/libexec - System admin executables: ...................... $exec_prefix/sbin - User executables: .............................. $exec_prefix/bin - Install architecture-dependent files in dir: ... $prefix - Install architecture-independent files dir: .... /home/opam/.opam/default - systhread_supported: ........................... true - default_executable_name: ....................... a.out - ext_dll: ....................................... .so - ext_lib: ....................................... .a - ext_asm: ....................................... .s - ext_obj: ....................................... .o - model: ......................................... default - native_c_compiler: ............................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - bytecomp_c_compiler: ........................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - standard_library: .............................. /home/opam/.opam/default/lib/ocaml - standard_library_default: ...................... /home/opam/.opam/default/lib/ocaml - ocaml_version: ................................. 4.14.4 - ccomp_type: .................................... cc - architecture: .................................. amd64 - system: ........................................ linux - os_type: ....................................... Unix - Package version: ............................... 6.0.0 - Package name: .................................. pa_monad_custom - ocamlbuild: .................................... /home/opam/.opam/default/bin/ocamlbuild - ocamlopt: ...................................... /home/opam/.opam/default/bin/ocamlopt.opt - ocamlc: ........................................ /home/opam/.opam/default/bin/ocamlc.opt - ocamlfind: ..................................... /home/opam/.opam/default/bin/ocamlfind - [pa_monad_custom: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-build" (CWD=/home/opam/.opam/default/.opam-switch/build/pa_monad_custom.v6.0.0) - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 44, characters 20-36: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 44, characters 42-58: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 52, characters 14-30: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 52, characters 38-54: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 55, characters 25-41: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 126, characters 10-26: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/PropList.ml", line 87, characters 13-29: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 45, characters 21-40: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 46, characters 21-38: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 57, characters 19-38: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 58, characters 19-36: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 38, characters 10-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 44, characters 10-21: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 47, characters 23-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 50, characters 20-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 53, characters 10-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 56, characters 16-28: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 15-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 32-42: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 48-61: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 58, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 59, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 60, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 64, characters 4-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 82, characters 24-40: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 84, characters 21-33: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 85, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 85, characters 41-53: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 87, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 87, characters 41-54: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 89, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 89, characters 50-62: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 91, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 91, characters 50-63: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 93, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 106, characters 15-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 146, characters 31-50: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 147, characters 31-48: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 148, characters 31-50: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 149, characters 31-48: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - I: Running command 'make all META' - ocamlc -I +camlp4 -pp camlp4orf -c pa_monad.ml - File "pa_monad.ml", line 371, characters 9-21: - 371 | (Stream.Error "exp_to_patt: this expression is not yet supported") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 387, characters 9-21: - 387 | (Stream.Error "recbinding_to_patt: antiquotations are not yet supported") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 419, characters 9-21: - 419 | (Stream.Error "patt_to_exp: this pattern is not yet supported") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 435, characters 9-21: - 435 | (Stream.Error "patt_to_recbinding: antiquotation are not yet supported") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 438, characters 9-21: - 438 | (Stream.Error "patt_to_recbinding: never reached") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 475, characters 28-40: - 475 | [] -> Loc.raise _loc (Stream.Error "tuplify_expr: empty expression list") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 485, characters 28-40: - 485 | [] -> Loc.raise _loc (Stream.Error "tuplify_patt: empty pattern list") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 504, characters 13-25: - 504 | (Stream.Error "convert: monadic binding cannot be last in a \"perform\" body") - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "pa_monad.ml", line 547, characters 30-42: - 547 | (Stream.Error - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - sed \ - -e 's|\@VERSION@|6.0|g;' \ - -e 's|\@NAME@|monad-custom|g;' \ - -e 's|\@EXTENSION@|pa_monad.cmo|g;' \ - < META.in > META - W: Cannot find an existing alternative files among: pa_monad_custom.cma -> compiled pa_monad_custom.v6.0.0 [pa_monad_custom: ocaml setup.ml] + /home/opam/.opam/default/bin/ocaml "setup.ml" "-install" (CWD=/home/opam/.opam/default/.opam-switch/build/pa_monad_custom.v6.0.0) - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 44, characters 20-36: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 44, characters 42-58: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 52, characters 14-30: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 52, characters 38-54: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 55, characters 25-41: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISUtils.ml", line 126, characters 10-26: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/PropList.ml", line 87, characters 13-29: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 45, characters 21-40: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 46, characters 21-38: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 57, characters 19-38: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/oasis/OASISLibrary.ml", line 58, characters 19-36: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 38, characters 10-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 44, characters 10-21: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 47, characters 23-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 50, characters 20-34: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 53, characters 10-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 56, characters 16-28: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 15-27: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 32-42: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 57, characters 48-61: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 58, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 59, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnvLight.ml", line 60, characters 16-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 64, characters 4-21: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 82, characters 24-40: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 84, characters 21-33: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 85, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 85, characters 41-53: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 87, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 87, characters 41-54: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 89, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 89, characters 50-62: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 91, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 91, characters 50-63: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 93, characters 20-32: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/base/BaseEnv.ml", line 106, characters 15-27: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 146, characters 31-50: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 147, characters 31-48: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 148, characters 31-50: - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "/home/gildor/programmation/oasis/src/plugins/internal/InternalInstallPlugin.ml", line 149, characters 31-48: - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - I: Running command 'make findlib-install' - ocamlfind install monad-custom META pa_monad.cmo - Installed /home/opam/.opam/default/lib/monad-custom/pa_monad.cmo - Installed /home/opam/.opam/default/lib/monad-custom/META -> installed pa_monad_custom.v6.0.0 === STDERR === 2026-06-16 12:08.41: OK: build pa_monad_custom.v6.0.0 (runc: 8.6s, disk: 34KB) 2026-06-16 12:08.41: Job succeeded