update to current state

This commit is contained in:
Adrian Schröter 2023-10-10 09:06:46 +02:00
parent 5423a03995
commit ab29a875b9

2
.gitmodules vendored
View File

@ -7434,7 +7434,7 @@
url = ../../pool/ocaml-csexp
[submodule "ocaml-dune"]
path = ocaml-dune
url = ../../pool/ocaml-dune
url = ../../ALP-pool/ocaml-dune
[submodule "ocaml-findlib"]
path = ocaml-findlib
url = ../../pool/ocaml-findlib