Created attachment 251000 [details]
alt-ergo.patch

Using the altErgo library with ocamlfind fails due to missing a dependency on Zarith.

OCaml version 4.14.2
Enter #help;; for help.

# #use "topfind";;
- : unit = ()
Findlib has been successfully loaded. Additional directives:
  #require "package";;      to load a package
  #list;;                   to list the available packages
  #camlp4o;;                to load camlp4 (standard syntax)
  #camlp4r;;                to load camlp4 (revised syntax)
  #predicates "p,q,...";;   to set these predicates
  Topfind.reset();;         to force that packages will be reloaded
  #thread;;                 to enable threads

- : unit = ()
# #require "alt-ergo";;
/usr/local/lib/ocaml/unix.cma: loaded
/usr/local/lib/ocaml/nums.cma: loaded
/usr/local/lib/ocaml/site-lib/num-top: added to search path
/usr/local/lib/ocaml/site-lib/num-top/num_top.cma: loaded
/usr/local/lib/ocaml/site-lib/num: added to search path
/usr/local/lib/ocaml/site-lib/ocamlgraph: added to search path
/usr/local/lib/ocaml/site-lib/ocamlgraph/graph.cma: loaded
/usr/local/lib/ocaml/alt-ergo: added to search path
# #require "alt-ergo";;t-ergo/altErgo.cmo: loaded
Error: The external function `ml_z_pow' is not available

$ ocamlobjinfo /usr/local/lib/ocaml/alt-ergo/altErgo.cmo | head -5
File /usr/local/lib/ocaml/alt-ergo/altErgo.cmo
Unit name: AltErgo
Interfaces imported:
        0ef7aa8d9fbb9958a11d71eacb5ac636        AltErgo
        517131d07104355def6a245e005d213c        Z
...


The attached patch fixes the META file, and adds the missing RUN_DEPENDS and LIB_DEPENDS to the alt-ergo package. While at it, the alt-ergo binary gets stripped.