Remove dependency on extlib

mrmr1993 commented 1 month ago

This fixes #1471. We only depended on extlib for DynArray, and none of the uses actually required a DynArray.

Checklist:

[ ] Dependency versions are unchanged
- Notify Velocity team if dependencies must change in CI
[ ] Modified the current draft of release notes with details on what is completed or incomplete within this project
[ ] Document code purpose, how to use it
- Mention expected invariants, implicit constraints
[ ] Tests were added for the new behavior
- Document test purpose, significance of failures
- Test names should reflect their purpose
[ ] All tests pass (CI will check this if you didn't)
[ ] Serialized types are in stable-versioned modules
[ ] Does this close issues? List them

mrmr1993 commented 1 month ago

!ci-build-me

georgeee commented 1 month ago

Do we want to update opam.export as well?

MinaProtocol / mina