This release is very minor change over 2025.06.13, to get a working OPAM build.
What's Changed
- Add
[@@no_inline_let]annotation by @amosr in #3169 - Normalizer: simplify identities for real ops (e.g.
1.0R *. x ~> x) by @mtzguido in #3871 - Makefile: support busybox fin, which does not have -false by @mtzguido in #3873
Full Changelog: v2025.06.13...v2025.06.20