Package ocamlfind.1.9.8

[kit-ty-kate]

ocamlfind.1.9.8

A library manager for OCaml
Findlib is a library manager for OCaml. It provides a convention how
to store libraries, and a file format ("META") to describe the
properties of libraries. There is also a tool (ocamlfind) for
interpreting the META files, so that it is very easy to use libraries
in programs and scripts.

---

• Homepage: http://projects.camlcity.org/projects/findlib.html
• Source repo: git+https://github.com/ocaml/ocamlfind.git
• Bug tracker: https://github.com/ocaml/ocamlfind/issues

---

🐫 Pull-request generated by opam-publish v2.5.0

[mseri]

There are some surprising failures but maybe they are here only because this release of ocamlfind allows to install new packages:

coq-serapi practically all versions

#=== ERROR while compiling coq-serapi.8.19.0+0.19.3 ===========================#
# context              2.4.0~alpha1~dev | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///home/opam/opam-repository
# path                 ~/.opam/4.14/.opam-switch/build/coq-serapi.8.19.0+0.19.3
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p coq-serapi -j 255
# exit-code            1
# env-file             ~/.opam/log/coq-serapi-7-2a48f7.env
# output-file          ~/.opam/log/coq-serapi-7-2a48f7.out
### output ###
# (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -ppx '.ppx/57e0400f3b219ff4fc65d1fbd820e35d/ppx.exe --as-ppx --cookie '\''library-name="sertop"'\''' -bin-annot -I sertop/.sertop.objs/byte -I /home/opam/.opam/4.14/lib/base -I /home/opam/.opam/4.14/lib/base/base_internalhash_types -I /home/opam/.opam/4.14/lib/base/caml -I /home/opam/.opam/4.14/lib/base/shadow_stdlib -I /home/opam/.opam/4.14/lib/cmdliner -I /home/opam/.opam/4.14/lib/coq-core/boot -I /home/opam/.opam/4.14/lib/coq-core/clib -I /home/opam/.opam/4.14/lib/coq-core/config -I /home/opam/.opam/4.14/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/4.14/lib/coq-core/engine -I /home/opam/.opam/4.14/lib/coq-core/gramlib -I /home/opam/.opam/4.14/lib/coq-core/interp -I /home/opam/.opam/4.14/lib/coq-core/kernel -I /home/opam/.opam/4.14/lib/coq-core/lib -I /home/opam/.opam/4.14/lib/coq-core/library -I /home/opam/.opam/4.14/lib/coq-core/parsing -I /home/opam/.opam/4.14/lib/coq-core/perf -I /home/opam/.opam/4.14/lib/coq-core/plugins/ltac -I /home/opam/.opam/4.14/lib/coq-core/pretyping -I /home/opam/.opam/4.14/lib/coq-core/printing -I /home/opam/.opam/4.14/lib/coq-core/proofs -I /home/opam/.opam/4.14/lib/coq-core/stm -I /home/opam/.opam/4.14/lib/coq-core/sysinit -I /home/opam/.opam/4.14/lib/coq-core/tactics -I /home/opam/.opam/4.14/lib/coq-core/vernac -I /home/opam/.opam/4.14/lib/coq-core/vm -I /home/opam/.opam/4.14/lib/findlib -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/parsexp -I /home/opam/.opam/4.14/lib/ppx_compare/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/4.14/lib/ppx_hash/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/sexplib -I /home/opam/.opam/4.14/lib/sexplib0 -I /home/opam/.opam/4.14/lib/yojson -I /home/opam/.opam/4.14/lib/zarith -I serapi/.serapi.objs/byte -I serlib/.serlib.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/byte -intf-suffix .ml -no-alias-deps -open Sertop -o sertop/.sertop.objs/byte/sertop__Sertop_loader.cmo -c -impl sertop/sertop_loader.ml)
# File "sertop/sertop_loader.ml", line 1:
# Error: The implementation sertop/sertop_loader.ml
#        does not match the interface sertop/.sertop.objs/byte/sertop__Sertop_loader.cmi:
#         Values do not match:
#           val plugin_handler :
#             (?loadfile:(string -> unit) -> string list -> unit) option ->
#             Mltop.PluginSpec.t -> unit
#         is not included in
#           val plugin_handler :
#             (string list -> unit) option -> Mltop.PluginSpec.t -> unit
#         The type
#           (?loadfile:(string -> unit) -> string list -> unit) option ->
#           Mltop.PluginSpec.t -> unit
#         is not compatible with the type
#           (string list -> unit) option -> Mltop.PluginSpec.t -> unit
#         Type ?loadfile:(string -> unit) -> string list -> unit
#         is not compatible with type string list -> unit 
#         File "sertop/sertop_loader.mli", line 21, characters 0-79:
#           Expected declaration
#         File "sertop/sertop_loader.ml", line 53, characters 4-18:
#           Actual declaration
# (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -ppx '.ppx/57e0400f3b219ff4fc65d1fbd820e35d/ppx.exe --as-ppx --cookie '\''library-name="sertop"'\''' -I sertop/.sertop.objs/byte -I sertop/.sertop.objs/native -I /home/opam/.opam/4.14/lib/base -I /home/opam/.opam/4.14/lib/base/base_internalhash_types -I /home/opam/.opam/4.14/lib/base/caml -I /home/opam/.opam/4.14/lib/base/shadow_stdlib -I /home/opam/.opam/4.14/lib/cmdliner -I /home/opam/.opam/4.14/lib/coq-core/boot -I /home/opam/.opam/4.14/lib/coq-core/clib -I /home/opam/.opam/4.14/lib/coq-core/config -I /home/opam/.opam/4.14/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/4.14/lib/coq-core/engine -I /home/opam/.opam/4.14/lib/coq-core/gramlib -I /home/opam/.opam/4.14/lib/coq-core/interp -I /home/opam/.opam/4.14/lib/coq-core/kernel -I /home/opam/.opam/4.14/lib/coq-core/lib -I /home/opam/.opam/4.14/lib/coq-core/library -I /home/opam/.opam/4.14/lib/coq-core/parsing -I /home/opam/.opam/4.14/lib/coq-core/perf -I /home/opam/.opam/4.14/lib/coq-core/plugins/ltac -I /home/opam/.opam/4.14/lib/coq-core/pretyping -I /home/opam/.opam/4.14/lib/coq-core/printing -I /home/opam/.opam/4.14/lib/coq-core/proofs -I /home/opam/.opam/4.14/lib/coq-core/stm -I /home/opam/.opam/4.14/lib/coq-core/sysinit -I /home/opam/.opam/4.14/lib/coq-core/tactics -I /home/opam/.opam/4.14/lib/coq-core/vernac -I /home/opam/.opam/4.14/lib/coq-core/vm -I /home/opam/.opam/4.14/lib/findlib -I /home/opam/.opam/4.14/lib/ocaml/threads -I /home/opam/.opam/4.14/lib/parsexp -I /home/opam/.opam/4.14/lib/ppx_compare/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/4.14/lib/ppx_hash/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/sexplib -I /home/opam/.opam/4.14/lib/sexplib0 -I /home/opam/.opam/4.14/lib/yojson -I /home/opam/.opam/4.14/lib/zarith -I serapi/.serapi.objs/byte -I serapi/.serapi.objs/native -I serlib/.serlib.objs/byte -I serlib/.serlib.objs/native -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/native -intf-suffix .ml -no-alias-deps -open Sertop -o sertop/.sertop.objs/native/sertop__Sertop_loader.cmx -c -impl sertop/sertop_loader.ml)
# File "sertop/sertop_loader.ml", line 1:
# Error: The implementation sertop/sertop_loader.ml
#        does not match the interface sertop/.sertop.objs/byte/sertop__Sertop_loader.cmi:
#         Values do not match:
#           val plugin_handler :
#             (?loadfile:(string -> unit) -> string list -> unit) option ->
#             Mltop.PluginSpec.t -> unit
#         is not included in
#           val plugin_handler :
#             (string list -> unit) option -> Mltop.PluginSpec.t -> unit
#         The type
#           (?loadfile:(string -> unit) -> string list -> unit) option ->
#           Mltop.PluginSpec.t -> unit
#         is not compatible with the type
#           (string list -> unit) option -> Mltop.PluginSpec.t -> unit
#         Type ?loadfile:(string -> unit) -> string list -> unit
#         is not compatible with type string list -> unit 
#         File "sertop/sertop_loader.mli", line 21, characters 0-79:
#           Expected declaration
#         File "sertop/sertop_loader.ml", line 53, characters 4-18:
#           Actual declaration

ocaml 5.3 conflicts:

libsail 0.18.0--0.15.0

#=== ERROR while compiling libsail.0.18 =======================================#
# context              2.4.0~alpha1~dev | linux/x86_64 | ocaml-base-compiler.5.3.0 | file:///home/opam/opam-repository
# path                 ~/.opam/5.3/.opam-switch/build/libsail.0.18
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p libsail -j 255 --promote-install-files=false @install
# exit-code            1
# env-file             ~/.opam/log/libsail-7-b28ce8.env
# output-file          ~/.opam/log/libsail-7-b28ce8.out
### output ###
# (cd _build/default && /home/opam/.opam/5.3/bin/ocamldep.opt -modules -impl src/lib/ast_util.ml) > _build/default/src/lib/.libsail.objs/libsail__Ast_util.impl.d
# File "src/lib/ast_util.ml", line 744, characters 5-11:
# 744 | type effect = bool
#            ^^^^^^
# Error: Syntax error
# (cd _build/default && /home/opam/.opam/5.3/bin/ocamldep.opt -modules -intf src/lib/ast_util.mli) > _build/default/src/lib/.libsail.objs/libsail__Ast_util.intf.d
# File "src/lib/ast_util.mli", line 300, characters 5-11:
# 300 | type effect
#            ^^^^^^
# Error: Syntax error
# (cd _build/default && /home/opam/.opam/5.3/bin/ocamldep.opt -modules -impl src/lib/type_check.ml) > _build/default/src/lib/.libsail.objs/libsail__Type_check.impl.d
# File "src/lib/type_check.ml", line 1296, characters 12-18:
# 1296 |   monadic : effect;
#                    ^^^^^^
# Error: Syntax error
# (cd _build/default && /home/opam/.opam/5.3/bin/ocamldep.opt -modules -intf src/lib/type_check.mli) > _build/default/src/lib/.libsail.objs/libsail__Type_check.intf.d
# File "src/lib/type_check.mli", line 422, characters 30-36:
# 422 | val effect_of : tannot exp -> effect
#                                     ^^^^^^
# Error: Syntax error
# (cd _build/default/src/lib && /home/opam/.opam/5.3/bin/ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true ../../language/sail.ott)
# Ott version 0.34   distribution of Mon Dec 30 10:12:45 GMT 2024
# (cd _build/default/src/lib && /home/opam/.opam/5.3/bin/ott -sort false -generate_aux_rules true -o jib.lem -picky_multiple_parses true ../../language/jib.ott)
# Ott version 0.34   distribution of Mon Dec 30 10:12:45 GMT 2024

yocaml_yaml

#=== ERROR while compiling yocaml_yaml.1.0.0 ==================================#
# context              2.4.0~alpha1~dev | linux/x86_64 | ocaml-base-compiler.5.3.0 | file:///home/opam/opam-repository
# path                 ~/.opam/5.3/.opam-switch/build/yocaml_yaml.1.0.0
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune runtest -p yocaml_yaml
# exit-code            1
# env-file             ~/.opam/log/yocaml_yaml-7-1f4c07.env
# output-file          ~/.opam/log/yocaml_yaml-7-1f4c07.out
### output ###
# (cd _build/default && /home/opam/.opam/5.3/bin/ocamldep.opt -modules -impl tests/dummy.ml) > _build/default/tests/.yocaml_test.eobjs/dune__exe__Dummy.impl.d
# File "tests/dummy.ml", line 153, characters 20-26:
# 153 |         (fun resume effect ->
#                           ^^^^^^
# Error: Syntax error

The rest seems fine

[Leonidas-from-XIV]

The yocaml_yaml and libsail failures look more like failures due to the new effect keyword which turns the effect type (libsail) and the effect formal argument (yocaml) into syntax errors, so I believe these should be restricted to be marked as incompatible with OCaml 5.3.x.

[dra27]

Better to add build-env: OCAMLPARAM = "_,w=-46,keywords=5.2" (cf. #26831) - especially as libsail.0.18 is the latest version.

[ejgallego]

Please add an ocamlfind upper bound to coq-serapi, which is at this point a legacy package.

This is due to the new implicit argument in plugin handler.

I'm sorry about this problem, somehow it didn't manifest in the successor package which is where I did my testing with.