odoc-master-mini — diff
From a8fc05e98101 to 9a948cb7062a
Package changes
| Package | Version | Status | Change |
|---|---|---|---|
| smtml | 0.30.0 → 0.31.0 | success | version changed |
Repository commits
opam-repository 7ca5a3225136..ac27950e5eac
| Commit | Date | Author | Subject |
|---|---|---|---|
| ac27950e5e | 2026-10-01 | Jan Midtgaard | Merge pull request #30837 from paurkedal/release-mariadb-v2.2.0 |
| 8ee14eb0bc | 2026-10-01 | Jan Midtgaard | Merge pull request #30841 from giltho/soteria-move-to-giltho |
| 6003948969 | 2026-10-01 | Jan Midtgaard | Merge pull request #30846 from filipeom/opam-publish-smtml.0.31.0 |
| 89410054a6 | 2026-10-01 | Filipe Marques | Package smtml.0.31.0 |
| b799ddce93 | 2026-09-30 | Sacha Ayoun | soteria: move repository from soteria-tools to giltho |
| dbd53def6f | 2026-09-30 | Petter A. Urkedal | [new release] mariadb (2.2.0) |
repo 86d73884d947..86d73884d947
No commits in this range (the newer snapshot's HEAD is not a descendant of the older one, or the repo is unavailable).