full — diff
From 691a8a912549 to ce00678f8c7f
Package changes
| Package | Version | Status | Change |
|---|---|---|---|
| alt-ergo-lib | 2.6.0 | failure → cascade | status changed |
| alt-ergo-lib | 2.6.1 | failure → cascade | status changed |
| alt-ergo-lib | 2.6.2 | failure → cascade | status changed |
Repository commits
opam-repository d62f825d1ea4..71db03cadcda
| Commit | Date | Author | Subject |
|---|---|---|---|
| 71db03cadc | 2026-11-10 | Marcello Seri | Merge pull request #31173 from Halbaroth/push-wnnkyozozppm |
| c014fcf9c4 | 2026-11-10 | Pierre Villemot | Add an upper bound for Dolmen for all Alt-Ergo 2.6.x releases |