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)
2ef3c73a6889 — 2026-10-01 22:20 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| mariadb | 2.1.0 → 2.2.0 | success | version changed |
bf5255d5dbfc — 2026-10-01 09:16 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| catala-format | 1.2.0 → 1.3.0 | cascade | version changed |
| decompress | 1.6.0 → 1.6.1 | success | version changed |
| mkernel | 0.0.4 → 0.0.5 | cascade | version changed |
| rfc1951 | 1.6.0 → 1.6.1 | success | version changed |
| topiary | 0.5.1 | removed |
5821fa10ce01 — 2026-09-30 16:02 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| conf-jack | 2 → 3 | success | version changed |
06e02e2aac99 — 2026-09-29 20:03 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| jack | 0.1.0 | success | added |
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 |
| ffmpeg | 1.3.1 → 1.4.0 | success | version changed |
| ffmpeg-av | 1.4.0 | success | added |
| ffmpeg-avcodec | 1.4.0 | success | added |
| ffmpeg-avdevice | 1.3.1 → 1.4.0 | success | version changed |
| ffmpeg-avfilter | 1.3.1 → 1.4.0 | success | version changed |
| ffmpeg-avutil | 1.4.0 | success | added |
| ffmpeg-swresample | 1.3.1 → 1.4.0 | success | version changed |
| ffmpeg-swscale | 1.3.1 → 1.4.0 | success | version changed |
| linol | 0.11 → 0.12 | success | version changed |
| linol-eio | 0.11 → 0.12 | success | version changed |
| linol-lwt | 0.11 → 0.12 | success | version changed |
| miniyaml | 0.1.0 | success | added |
| mldsa | 0.1.1 → 0.2.0 | success | version changed |
| mlkem | 0.1.1 → 0.2.0 | success | version changed |
| mm | 0.8.7 | success | added |
| rocq-core | 9.3.0 | cascade | added |
| rocq-devtools | 9.2.0 → 9.3.0 | cascade | version changed |
| rocq-native | 2 → 3 | success | 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 |
| slhdsa | 0.1.1 → 0.2.0 | success | version changed |
9d557b924a8a — 2026-09-29 10:07 UTC (full diff)
| Package | Version | Status | Change |
|---|---|---|---|
| cvc5 | 1.3.0-2 → 1.3.0-3 | success | 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 |
| windtrap | 0.1.0 → 0.2.0 | success | version changed |
‹ Newer Page 4 of 4 (71 snapshot pairs)