point mina to develop

Geometer1729 · Geometer1729 · commit 80211ac8f148 · 2025-02-10T12:13:02.000-05:00
diff --git a/flake.lock b/flake.lock
diff --git a/src/bindings b/src/bindings
@@ -1 +1 @@
-Subproject commit e8b14b4030749a53ecd1b2d5fccc2f11f8c27d54
+Subproject commit 00cb8e69388a6fe449ed51b739d13b57f691d41d
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit f73d164e4abba8c21ac4ba1c1e3005aae9fea0b7
+Subproject commit e87b07808a33c0edd58ccf6e1c19bb2c41480227
