From ae37e1bd279e878c1215122aa1b85b87f8e90143 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Tue, 10 Oct 2023 09:12:41 +0200 Subject: [PATCH] update to current state --- .gitmodules | 5 ++++- libcryptopp | 1 + ocaml-dune | 2 +- 3 files changed, 6 insertions(+), 2 deletions(-) create mode 160000 libcryptopp diff --git a/.gitmodules b/.gitmodules index 4fdb8ff..2be9305 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7449,7 +7449,7 @@ url = ../../pool/ocaml-pcre [submodule "ocaml-pp"] path = ocaml-pp - url = ../../pool/ocaml-pp + url = ../../ALP-pool/ocaml-pp [submodule "ocaml-pyml"] path = ocaml-pyml url = ../../pool/ocaml-pyml @@ -7864,3 +7864,6 @@ [submodule "rust1.72"] path = rust1.72 url = ../../ALP-pool/rust1.72 +[submodule "libcryptopp"] + path = libcryptopp + url = ../../ALP-pool/libcryptopp diff --git a/libcryptopp b/libcryptopp new file mode 160000 index 0000000..b947d6b --- /dev/null +++ b/libcryptopp @@ -0,0 +1 @@ +Subproject commit b947d6baae824c8b289d6e2a65216571266911fb diff --git a/ocaml-dune b/ocaml-dune index 98cfd11..c5761e4 160000 --- a/ocaml-dune +++ b/ocaml-dune @@ -1 +1 @@ -Subproject commit 98cfd11be6029558b1b9abfbccd7c5500eee53f7 +Subproject commit c5761e4f2535b01d215456ec573214630f4d5f8c