oxcaml-odoc-master — diff
From 9d557b924a8a to b96ad7f05b0c
Package changes
| 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 |
Repository commits
opam-repository ec0f65160814..eaf44e360643
| Commit | Date | Author | Subject |
|---|---|---|---|
| eaf44e3606 | 2026-09-29 | Jan Midtgaard | Merge pull request #30831 from toots/opam-publish-miniyaml.0.1.0 |
| fdaea4ec2e | 2026-09-29 | Jan Midtgaard | Merge pull request #30830 from toots/opam-publish-mm.0.8.7 |
| b3f16a5241 | 2026-09-29 | Jan Midtgaard | Merge pull request #30829 from toots/opam-publish-ffmpeg.1.4.0 |
| 44871cd546 | 2026-09-29 | Jan Midtgaard | Merge pull request #30820 from thevilledev/opam-publish-mldsa.0.2.0 |
| 9890f4b2ee | 2026-09-29 | Jan Midtgaard | Merge pull request #30810 from c-cube/release-linol-v0.12 |
| 100ba3f68e | 2026-09-29 | Jan Midtgaard | Merge pull request #30776 from gares/rocq-9.3.0 |
| 1b68676101 | 2026-09-29 | Marcello Seri | Apply batched suggestions from code review |
| d5ee324b4d | 2026-09-29 | Romain Beauxis | Add upper bounds. |
| ad80dcd0e4 | 2026-09-29 | Romain Beauxis | Add ffmpeg upper bounds. |
| 30041fd113 | 2026-09-28 | Romain Beauxis | Package miniyaml.0.1.0 |
| 80c1fbed95 | 2026-09-28 | Romain Beauxis | Package mm.0.8.7 |
| 65aa369b32 | 2026-09-28 | Romain Beauxis | 8 packages from savonet/ocaml-ffmpeg at 1.4.0 |
| 9f16548cb1 | 2026-09-28 | Marcello Seri | Apply suggestion from code review |
| b9ea231504 | 2026-09-27 | Ville Vesilehto | 3 packages from thevilledev/ocaml-pq at 0.2.0 |
| c59870483f | 2026-09-25 | Simon Cruanes | [new release] linol (3 packages) (0.12) |
| 5edffb82f2 | 2026-09-25 | Enrico Tassi | rocq-stdlib.9.1.0 not available on freebsd |
| a121d20d41 | 2026-09-21 | Enrico Tassi | rocq upper bound for rocq-stdlib.9.1.0 and binary_tree.1.0 |
| 6b64e9c37e | 2026-09-21 | Enrico Tassi | stdlib 9.2.0 |
| e589a84459 | 2026-09-19 | Enrico Tassi | rocq-native on arm64 |
| 6febadf4cc | 2026-09-19 | Enrico Tassi | rocq 9.3.0 |
opam-repository f1bd228dda31..f1bd228dda31
No commits in this range (the newer snapshot's HEAD is not a descendant of the older one, or the repo is unavailable).
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).