Broken dependencies arbduet/flint/faugere

[happypig95]

The CAV artifact reviewer noticed also the broken dependencies when installing on fresh linux/mac:

I failed at installing arbduet and faugere.
(The package ctype-foreign is installed - the only resource I could find https://dsheets.github.io/codoc/ctypes.0.3.4/_build/src/cstubs/cstubs/)

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved arbduet.20230717 (cached)
⬇ retrieved faugere.20230724 (cached)
[ERROR] The compilation of faugere.20230724 failed at "dune build -p faugere -j 35 --promote-install-files=false @install".
[ERROR] The compilation of arbduet.20230717 failed at "dune build -p arbduet -j 35 --promote-install-files=false @install".

#=== ERROR while compiling faugere.20230724 ===================================#
# context 2.1.2 | linux/x86_64 | ocaml.4.13.1 | git+https://github.com/zkincaid/sv-opam.git#modern
# path ~/.opam/default/.opam-switch/build/faugere.20230724
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p faugere -j 35 --promote-install-files=false @install
# exit-code 1
# env-file ~/.opam/log/faugere-1123267-13f37d.env
# output-file ~/.opam/log/faugere-1123267-13f37d.out
### output ###
# (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.faugere.objs/byte -I /home/kkueffner/.opam/default/lib/bigarray-compat -I /home/kkueffner/.opam/default/lib/ctypes -I /home/kkueffner/.opam/default/lib/integers -I /home/kkueffner/.opam/default/lib/stdlib-shims -no-alias-deps -open Faugere__ -o src/.faugere.objs/byte/faugere__Bind.cmo -c -impl src/bind.ml)
# File "src/bind.ml", line 7, characters 21-35:
# 7 | module Bindings (F : Cstubs.FOREIGN) = struct
# ^^^^^^^^^^^^^^
# Error: Unbound module Cstubs

#=== ERROR while compiling arbduet.20230717 ===================================#
# context 2.1.2 | linux/x86_64 | ocaml.4.13.1 | git+https://github.com/zkincaid/sv-opam.git#modern
# path ~/.opam/default/.opam-switch/build/arbduet.20230717
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p arbduet -j 35 --promote-install-files=false @install
# exit-code 1
# env-file ~/.opam/log/arbduet-1123267-fbece3.env
# output-file ~/.opam/log/arbduet-1123267-fbece3.out
### output ###
# (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I lib/.arbduet.objs/byte -I /home/kkueffner/.opam/default/lib/bigarray-compat -I /home/kkueffner/.opam/default/lib/ctypes -I /home/kkueffner/.opam/default/lib/integers -I /home/kkueffner/.opam/default/lib/stdlib-shims -no-alias-deps -open Arbduet__ -o lib/.arbduet.objs/byte/arbduet__Bind.cmo -c -impl lib/bind.ml)
# File "lib/bind.ml", line 6, characters 21-35:
# 6 | module Bindings (F : Cstubs.FOREIGN) = struct
# ^^^^^^^^^^^^^^
# Error: Unbound module Cstubs