odoc-master-mini — diff
From 0ef78c3e4e5f to 35abae270f3b
Package changes
| Package | Version | Status | Change |
|---|---|---|---|
| miou | 0.10.1 → 0.10.2 | success | version changed |
Repository commits
opam-repository 74bf8da7ffea..1a05862eb12b
| Commit | Date | Author | Subject |
|---|---|---|---|
| 1a05862eb1 | 2026-10-13 | Shon | Merge pull request #30912 from shym/accept-failures-gcc |
| 6cacf31864 | 2026-10-13 | Shon | Merge pull request #30914 from gares/release-elpi-v3.9.1 |
| db6ba8455b | 2026-10-13 | Shon | Merge pull request #30917 from dinosaure/release-miou-v0.10.2 |
| fb87ea108c | 2026-10-13 | Calascibetta Romain | [new release] miou (0.10.2) |
| 73a2d7c54c | 2026-10-12 | Enrico Tassi | [new release] elpi and ppx_elpi (3.9.1) |
| e3a3e21263 | 2026-10-12 | Samuel Hym | Update the x-ci-accept-failures for conf-*-linux-gnu-gcc packages |
repo f9259b02c626..f9259b02c626
No commits in this range (the newer snapshot's HEAD is not a descendant of the older one, or the repo is unavailable).