Skip to content

pa_j: accept camlp5 8.05 for OCaml 5.4#181

Merged
jrh13 merged 1 commit into
jrh13:masterfrom
mkannwischer:camlp5-8.05-ocaml-5.4
Jun 4, 2026
Merged

pa_j: accept camlp5 8.05 for OCaml 5.4#181
jrh13 merged 1 commit into
jrh13:masterfrom
mkannwischer:camlp5-8.05-ocaml-5.4

Conversation

@mkannwischer
Copy link
Copy Markdown
Contributor

@mkannwischer mkannwischer commented May 30, 2026

nixpkgs 26.05 ships OCaml 5.4.1 and camlp5 8.05.01 which isn't currently supported by pa_j/chooser.sh.
This PR add scamlp5 8.05.01 to the accepted versions.

Signed-off-by: Matthias J. Kannwischer <matthias@zerorisc.com>
@mkannwischer mkannwischer marked this pull request as ready for review May 30, 2026 08:59
@jrh13
Copy link
Copy Markdown
Owner

jrh13 commented Jun 4, 2026

Excellent, thanks - relieved that no more substantial changes were needed for compatibility :-)

@jrh13 jrh13 merged commit 6c23212 into jrh13:master Jun 4, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

HOL-Light does not work with camlp5.8.05.00 released on May 8

2 participants