odoc-driver-series — diff
From 52ce5ff2fdcc to 1d0a1d92d78a
Package changes
No differences.
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 aeff79cfec42..aeff79cfec42
No commits in this range (the newer snapshot's HEAD is not a descendant of the older one, or the repo is unavailable).