janestreet / opam-repository

Opam repository for the development version of Jane Street packages
101 stars 10 forks source link

5.0 compatible sexplib0 patches are not included in latest version #17

Closed smuenzel closed 1 year ago

smuenzel commented 2 years ago

The sexplib0 patch to fix 5.0 compatibility is not included in the current version of this repo (see https://github.com/janestreet/sexplib0/pull/7). Can you update the version? I don't believe I can submit a meaningful pull request, since the opam packages depend on archive files rather than git repos.