Profiles › oxcaml-odoc-master › Recent changes
oxcaml-odoc-master — recent changes
Show: all changes · only newly failing
02ea108976d8 — 2026-10-02 03:52 UTC (full diff)
bf5255d5dbfc — 2026-10-01 09:16 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| catala-format | 1.2.0 → 1.3.0 | cascade | version changed |
| mkernel | 0.0.4 → 0.0.5 | cascade | version changed |
b96ad7f05b0c — 2026-09-29 19:06 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| coq | 9.3.0 | cascade | added |
| coq-core | 9.3.0 | cascade | added |
| coq-stdlib | 9.2.0 | cascade | added |
| coqide-server | 9.3.0 | cascade | added |
| rocq-core | 9.3.0 | cascade | added |
| rocq-devtools | 9.2.0 → 9.3.0 | cascade | version changed |
| rocq-runtime | 9.3.0 | failure | added |
| rocq-stdlib | 9.1.0 → 9.2.0 | cascade | version changed |
| rocqide | 9.2.0 → 9.3.0 | cascade | version changed |
3696a909c868 — 2026-09-28 23:04 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| pure-html | 3.11.2 → 4.0.0 | cascade | version changed |
‹ Newer Page 4 of 4 (71 snapshot pairs)