diff --git a/HexAll.lean b/HexAll.lean
index 63b1554..fd9914b 100644
--- a/HexAll.lean
+++ b/HexAll.lean
@@ -1,9 +1,13 @@
-import HexMatrix
-import HexMatrixMathlib
-import HexGramSchmidt
-import HexGramSchmidtMathlib
-import HexLLL
-import HexLLLMathlib
+module
+
+public import HexMatrix
+public import HexMatrixMathlib
+public import HexGramSchmidt
+public import HexGramSchmidtMathlib
+public import HexLLL
+public import HexLLLMathlib
+
+public section
 
 /-!
 `hex` — convenience aggregator for the released hex libraries.
diff --git a/lake-manifest.json b/lake-manifest.json
index 187dc8d..dc6443b 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "e4554e109e1cd93547572819499c33db769300af",
+   "rev": "c73b5db35df9775eee9601ff629133e75085eb37",
    "name": "HexLLLMathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "e4554e109e1cd93547572819499c33db769300af",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "ff9729a08b65fda89f391eca5ce5b4497711f815",
+   "rev": "4c5774effb54cb1107a456287ccca3053438e756",
    "name": "HexLLL",
    "manifestFile": "lake-manifest.json",
    "inputRev": "ff9729a08b65fda89f391eca5ce5b4497711f815",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "29404cfe535ec3dc53a6a174235e69fbf0c3c7e8",
+   "rev": "ddf7de1193033da3480b1ae595c8a8adc4ec1e9b",
    "name": "HexGramSchmidtMathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "29404cfe535ec3dc53a6a174235e69fbf0c3c7e8",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d9ffab41cd4b400bc05eb69eb1724484d43017e3",
+   "rev": "9e91dd73311bc2739ca0740ba815a58453008666",
    "name": "HexGramSchmidt",
    "manifestFile": "lake-manifest.json",
    "inputRev": "d9ffab41cd4b400bc05eb69eb1724484d43017e3",
@@ -45,7 +45,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "7e2eed8ae6d962d11e65d5763ce93439ce3fcb72",
+   "rev": "bbdbd6f2b4b3ed8dcd95abb170d9186ceb88e3a1",
    "name": "HexMatrixMathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "7e2eed8ae6d962d11e65d5763ce93439ce3fcb72",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "20e4c73f958cf7996199972a45e538d06121f91f",
+   "rev": "863836597fb000c6263042ce023a9375db33cb1f",
    "name": "HexMatrix",
    "manifestFile": "lake-manifest.json",
    "inputRev": "20e4c73f958cf7996199972a45e538d06121f91f",
diff --git a/lakefile.toml b/lakefile.toml
index 7cce97c..f894007 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -8,32 +8,32 @@ defaultTargets = ["HexAll"]
 [[require]]
 name = "HexMatrix"
 git = "https://github.com/kim-em/hex-matrix.git"
-rev = "20e4c73f958cf7996199972a45e538d06121f91f"
+rev = "863836597fb000c6263042ce023a9375db33cb1f"
 
 [[require]]
 name = "HexMatrixMathlib"
 git = "https://github.com/kim-em/hex-matrix-mathlib.git"
-rev = "7e2eed8ae6d962d11e65d5763ce93439ce3fcb72"
+rev = "bbdbd6f2b4b3ed8dcd95abb170d9186ceb88e3a1"
 
 [[require]]
 name = "HexGramSchmidt"
 git = "https://github.com/kim-em/hex-gram-schmidt.git"
-rev = "d9ffab41cd4b400bc05eb69eb1724484d43017e3"
+rev = "9e91dd73311bc2739ca0740ba815a58453008666"
 
 [[require]]
 name = "HexGramSchmidtMathlib"
 git = "https://github.com/kim-em/hex-gram-schmidt-mathlib.git"
-rev = "29404cfe535ec3dc53a6a174235e69fbf0c3c7e8"
+rev = "ddf7de1193033da3480b1ae595c8a8adc4ec1e9b"
 
 [[require]]
 name = "HexLLL"
 git = "https://github.com/kim-em/hex-lll.git"
-rev = "ff9729a08b65fda89f391eca5ce5b4497711f815"
+rev = "4c5774effb54cb1107a456287ccca3053438e756"
 
 [[require]]
 name = "HexLLLMathlib"
 git = "https://github.com/kim-em/hex-lll-mathlib.git"
-rev = "e4554e109e1cd93547572819499c33db769300af"
+rev = "c73b5db35df9775eee9601ff629133e75085eb37"
 
 [[lean_lib]]
 name = "HexAll"