full — diff
From 5c4d87ab5dbc to 703028f56265
Package changes
| Package | Version | Status | Change |
|---|---|---|---|
| colibrics | 0.6 | success | added |
| colibrilib | 0.6 | success | added |
| colibrilib-why3 | 0.6 | success | added |
Repository commits
opam-repository 45220c31b03b..e29480422788
| Commit | Date | Author | Subject |
|---|---|---|---|
| e294804227 | 2026-08-24 | Marcello Seri | Merge pull request #30097 from bobot/release-colibri2-0.6 |
| e0a519e15c | 2026-06-22 | François Bobot | [new release] colibri2 (4 packages) (0.6) |