Bump deps/cryptol

mtullsen · mtullsen · commit 03390ec99c80 · 2025-09-15T21:02:05.000-07:00
diff --git a/deps/cryptol b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 3ff4323225f7ce1d154b9dd5362dc231c30b7d36
+Subproject commit 04036e5af324e9c2e68bd7b75d4c54d9233d1ff4
