bump deps/cryptol

mtullsen · mtullsen · commit 61c374dda09b · 2025-10-13T10:02:23.000-07:00
diff --git a/deps/cryptol b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 1ac08d3e0d9ef75e86e46a4b31bedfafd7712988
+Subproject commit 39e6b979426456e01b701633f4cb5d73513562f2
