Bump minimal version of ocplib-simplex to 0.5.1#1088
Merged
Halbaroth merged 2 commits intoOCamlPro:nextfrom Halbaroth:remove-pin-ocplib-simplexApr 3, 2024
+8-9
Commits
Commits on Apr 2, 2024
Commits on Apr 3, 2024
- committed