odoc-master-mini — diff
From 7976b75a394b to b3858e86b15d
Package changes
| Package | Version | Status | Change |
|---|---|---|---|
| ortools | 9.15.0-2 → 9.15.0-3 | success | version changed |
Repository commits
opam-repository 7b5e9a2b084f..4b3c9153f191
| Commit | Date | Author | Subject |
|---|---|---|---|
| 4b3c9153f1 | 2026-10-16 | Shon | Merge pull request #30908 from tbrk/release-ortools-9.15.0-3 |
| 5ad3c349cb | 2026-10-15 | Shon | Apply batched suggestions from code review |
| f0d94bfdb8 | 2026-10-15 | Shon | ortools unavailable on windows |
| 61a504f95e | 2026-10-12 | Timothy Bourke | Update packages/ortools_solvers/ortools_solvers.9.15.0-3/opam |
| 55ad97d637 | 2026-10-11 | Timothy Bourke | [new release] ortools (2 packages) (9.15.0-3) |
repo fdc5d11105a0..fdc5d11105a0
No commits in this range (the newer snapshot's HEAD is not a descendant of the older one, or the repo is unavailable).