full — diff
From a9bcaf1a165a to f6bbc2225005
Package changes
| Package | Version | Status | Change |
|---|---|---|---|
| a2a-client | 0.2.2 | success | added |
| async | v0.17.0 | cascade → success | status changed |
| async_js | v0.14.0 | success → failure | status changed |
| async_kernel | v0.17.0 | cascade → success | status changed |
| async_log | v0.17.0 | cascade → success | status changed |
| async_rpc_kernel | v0.17.0 | cascade → success | status changed |
| async_unix | v0.17.0 | cascade → success | status changed |
| atproto | 1.0.2 | cascade → success | status changed |
| awskit-s3 | 0.1.0 | cascade → success | status changed |
| awskit-s3 | 0.2.0 | cascade → success | status changed |
| awskit-s3-eio | 0.1.0 | cascade → success | status changed |
| awskit-s3-eio | 0.2.0 | cascade → success | status changed |
| awskit-s3-lwt | 0.1.0 | cascade → success | status changed |
| awskit-s3-lwt | 0.2.0 | cascade → success | status changed |
| awskit-s3-lwt-unix | 0.1.0 | cascade → success | status changed |
| awskit-s3-lwt-unix | 0.2.0 | cascade → success | status changed |
| awskit-s3-sim | 0.1.0 | cascade → success | status changed |
| awskit-s3-sim | 0.2.0 | cascade → success | status changed |
| awso | 0.9.0 | cascade → success | status changed |
| awso | 0.9.1 | cascade → success | status changed |
| awso-async | 0.9.0 | cascade → success | status changed |
| awso-async | 0.9.1 | cascade → success | status changed |
| awso-cli | 0.9.0 | cascade → success | status changed |
| awso-cli | 0.9.1 | cascade → success | status changed |
| awso-eio | 0.9.1 | cascade → success | status changed |
| awso-lwt | 0.9.0 | cascade → success | status changed |
| awso-lwt | 0.9.1 | cascade → success | status changed |
| awso-sync | 0.9.0 | cascade → success | status changed |
| awso-sync | 0.9.1 | cascade → success | status changed |
| base_bigstring | v0.16.0 | success → cascade | status changed |
| base_bigstring | v0.17.0 | cascade → success | status changed |
| base_quickcheck | v0.16.0 | success → cascade | status changed |
| binaryen | 0.43.0 | success | added |
| bitwuzla-cxx | 0.6.0 | success → failure | status changed |
| bitwuzla-cxx | 0.6.1 | success → failure | status changed |
| bitwuzla-cxx | 0.8.0 | success → failure | status changed |
| bitwuzla-cxx | 0.8.2 | success → failure | status changed |
| bonsai | v0.14.0 | success → cascade | status changed |
| ca-certs | 1.0.3 | success → failure | status changed |
| caisar | 4.0 | failure → success | status changed |
| catala-format | 0.1.0 | cascade → failure | status changed |
| catala-format | 0.1.1 | cascade → success | status changed |
| catala-format | 1.3.0 | cascade → success | status changed |
| cmdlang-stdlib-runner | 0.0.10 | failure → success | status changed |
| cmdlang-to-base | 0.0.10 | failure → success | status changed |
| cmdlang-to-climate | 0.0.10 | failure → success | status changed |
| cmdlang-to-cmdliner | 0.0.10 | failure → success | status changed |
| cohttp-async | 6.3.0 | cascade → success | status changed |
| cohttp-lwt | 5.3.0 | success → failure | status changed |
| cohttp-lwt | 6.3.0 | cascade → failure | status changed |
| cohttp-lwt-jsoo | 2.5.8 | success → failure | status changed |
| cohttp-lwt-jsoo | 6.3.0 | success → failure | status changed |
| cohttp-lwt-unix | 4.0.0 | success → cascade | status changed |
| cohttp-lwt-unix | 4.1.2 | success → cascade | status changed |
| cohttp-lwt-unix | 5.3.0 | success → cascade | status changed |
| colibrics | 0.4 | success → cascade | status changed |
| conduit-lwt-unix | 4.0.2 | success → cascade | status changed |
| conduit-lwt-unix | 7.0.0 | success → cascade | status changed |
| core | v0.16.2 | success → cascade | status changed |
| core | v0.17.2 | cascade → success | status changed |
| core_kernel | v0.17.0 | cascade → success | status changed |
| core_unix | v0.17.1 | cascade → success | status changed |
| corvus-json-schema | 0.1.1 | success | added |
| dream-inertia | 0.0.1 | cascade → success | status changed |
| expect_test_helpers_core | v0.17.0 | cascade → success | status changed |
| extism | 0.4.0 | cascade → success | status changed |
| extism | 1.0.0 | cascade → success | status changed |
| extism | 1.1.0 | cascade → success | status changed |
| extism | 1.2.0 | cascade → success | status changed |
| extism | 1.3.0 | cascade → success | status changed |
| extism | 1.4.0 | cascade → success | status changed |
| extism-manifest | 0.4.0 | cascade → success | status changed |
| extism-manifest | 1.0.0 | cascade → success | status changed |
| extism-manifest | 1.1.0 | cascade → success | status changed |
| extism-manifest | 1.2.0 | cascade → success | status changed |
| extism-manifest | 1.3.0 | cascade → success | status changed |
| extism-manifest | 1.4.0 | cascade → success | status changed |
| ezjs_crypto | 0.1 | success → failure | status changed |
| frama-c | 30.0 | success → failure | status changed |
| frama-c | 31.0 | success → failure | status changed |
| frama-c-metacsl | 0.8 | success → cascade | status changed |
| frama-c-metacsl | 0.8~beta | success → cascade | status changed |
| gel | v0.17.0 | cascade → success | status changed |
| github-jsoo | 3.1.0 | success → cascade | status changed |
| github-unix | 3.1.0 | success → cascade | status changed |
| github-unix | 4.0.0 | success → cascade | status changed |
| gitlab-jsoo | 0.1.0 | success → cascade | status changed |
| gitlab-jsoo | 0.1.1 | success → cascade | status changed |
| gitlab-jsoo | 0.1.2 | success → cascade | status changed |
| gremlin | 0.1.1 | success → cascade | status changed |
| hardcaml | v0.17.1 | cascade → success | status changed |
| hardcaml-lua | 0.0.1 | success → cascade | status changed |
| hardcaml_event_driven_sim | v0.17.0 | cascade → success | status changed |
| hardcaml_of_verilog | v0.17.0 | cascade → success | status changed |
| hardcaml_step_testbench | v0.17.0 | cascade → success | status changed |
| hardcaml_verify | v0.17.0 | cascade → success | status changed |
| hardcaml_waveterm | v0.17.0 | cascade → success | status changed |
| hegel | 0.12.0 | cascade → success | status changed |
| hegel | 0.12.2 | cascade → success | status changed |
| hegel | 0.13.1 | cascade → success | status changed |
| hegel | 0.14.1 | cascade → success | status changed |
| hegel | 0.16.0 | cascade → success | status changed |
| hegel | 0.16.2 | cascade → success | status changed |
| hegel | 0.17.2 | cascade → success | status changed |
| hegel | 0.18.2 | cascade → success | status changed |
| hegel | 0.21.0 | cascade → success | status changed |
| hegel | 0.24.1 | cascade → success | status changed |
| hegel | 0.25.0 | cascade → success | status changed |
| hegel | 0.8.0 | cascade → success | status changed |
| hegel | 0.9.0 | cascade → success | status changed |
| incr_dom | v0.14.0 | success → cascade | status changed |
| incr_dom_interactive | v0.14.0 | success → cascade | status changed |
| incr_dom_keyboard | v0.14.0 | success → cascade | status changed |
| incr_dom_partial_render | v0.14.0 | success → cascade | status changed |
| incr_dom_sexp_form | v0.14.0 | success → cascade | status changed |
| int_repr | v0.16.0 | success → cascade | status changed |
| int_repr | v0.17.0 | cascade → success | status changed |
| js_of_ocaml-lwt | 6.3.0 | success → failure | status changed |
| js_of_ocaml-tyxml | 6.3.0 | success → failure | status changed |
| jsonaf | v0.17.0 | cascade → success | status changed |
| jsonkit-melange | 1.0.0 | success → failure | status changed |
| jsonkit-melange | 1.1.0 | success → failure | status changed |
| jupyter | 3.0.1 | cascade → success | status changed |
| kmt | 0.1 | success → cascade | status changed |
| links | 0.9.3 | success → cascade | status changed |
| links | 0.9.4 | success → cascade | status changed |
| links | 0.9.5 | success → cascade | status changed |
| links-mysql | 0.9.3 | success → cascade | status changed |
| links-mysql | 0.9.4 | success → cascade | status changed |
| links-mysql | 0.9.5 | success → cascade | status changed |
| links-postgresql | 0.9.3 | success → cascade | status changed |
| links-postgresql | 0.9.4 | success → cascade | status changed |
| links-postgresql | 0.9.5 | success → cascade | status changed |
| links-sqlite3 | 0.9.3 | success → cascade | status changed |
| links-sqlite3 | 0.9.4 | success → cascade | status changed |
| links-sqlite3 | 0.9.5 | success → cascade | status changed |
| mazeppa | 0.7.2 | cascade → success | status changed |
| menhir | 20200624 | failure → success | status changed |
| menhir | 20260122 | failure → success | status changed |
| notty_async | v0.17.0 | cascade → success | status changed |
| ocamlmig | 5.3-20250429 | cascade → failure | status changed |
| ocluster | 0.2 | success → cascade | status changed |
| opam-client | 2.4.0~alpha1 | success → cascade | status changed |
| opam-client | 2.4.0~alpha2 | success → failure | status changed |
| opam-devel | 2.4.0~alpha1 | success → cascade | status changed |
| opam-devel | 2.4.0~alpha2 | success → cascade | status changed |
| opam-state | 2.4.0~alpha1 | success → failure | status changed |
| openapi | 1.0.0 | cascade → success | status changed |
| openapi | 1.0.1 | cascade → success | status changed |
| openapi-opium | 1.0.0 | cascade → success | status changed |
| openapi-opium | 1.0.1 | cascade → success | status changed |
| owl-jupyter | 1.0 | cascade → success | status changed |
| oxbow | 0.1.0 | cascade → success | status changed |
| oxbow | 0.1.1 | cascade → success | status changed |
| parsexp_io | v0.17.0 | cascade → success | status changed |
| polymarket | 0.1.0 | cascade → success | status changed |
| polymarket | 0.2.0 | cascade → success | status changed |
| ppx_bench | v0.16.0 | success → cascade | status changed |
| ppx_diff | v0.17.1 | cascade → success | status changed |
| ppx_expect | v0.16.2 | success → cascade | status changed |
| ppx_hardcaml | v0.17.1 | cascade → success | status changed |
| ppx_hegel_generator | 0.12.0 | cascade → success | status changed |
| ppx_hegel_generator | 0.12.2 | cascade → success | status changed |
| ppx_hegel_generator | 0.13.1 | cascade → success | status changed |
| ppx_hegel_generator | 0.14.1 | cascade → success | status changed |
| ppx_hegel_generator | 0.16.0 | cascade → success | status changed |
| ppx_hegel_generator | 0.16.2 | cascade → success | status changed |
| ppx_hegel_generator | 0.17.2 | cascade → success | status changed |
| ppx_hegel_generator | 0.18.2 | cascade → success | status changed |
| ppx_hegel_generator | 0.21.0 | cascade → success | status changed |
| ppx_hegel_generator | 0.24.1 | cascade → success | status changed |
| ppx_hegel_generator | 0.25.0 | cascade → success | status changed |
| ppx_hegel_generator | 0.8.0 | cascade → success | status changed |
| ppx_hegel_generator | 0.9.0 | cascade → success | status changed |
| ppx_hegel_test | 0.12.0 | cascade → success | status changed |
| ppx_hegel_test | 0.12.2 | cascade → success | status changed |
| ppx_hegel_test | 0.13.1 | cascade → success | status changed |
| ppx_hegel_test | 0.14.1 | cascade → success | status changed |
| ppx_hegel_test | 0.16.0 | cascade → success | status changed |
| ppx_hegel_test | 0.16.2 | cascade → success | status changed |
| ppx_hegel_test | 0.17.2 | cascade → success | status changed |
| ppx_hegel_test | 0.18.2 | cascade → success | status changed |
| ppx_hegel_test | 0.21.0 | cascade → success | status changed |
| ppx_hegel_test | 0.24.1 | cascade → success | status changed |
| ppx_hegel_test | 0.25.0 | cascade → success | status changed |
| ppx_hegel_test | 0.8.0 | cascade → success | status changed |
| ppx_hegel_test | 0.9.0 | cascade → success | status changed |
| ppx_inline_test | v0.16.0 | success → failure | status changed |
| ppx_jane | v0.16.0 | success → cascade | status changed |
| ppx_jane | v0.17.0 | failure → success | status changed |
| ppx_js_style | v0.17.1 | failure → success | status changed |
| ppx_jsonaf_conv | v0.17.1 | cascade → success | status changed |
| ppx_module | 0.0.1 | success | added |
| ppx_module_timer | v0.16.0 | success → failure | status changed |
| ppx_optional | v0.15.0 | failure → success | status changed |
| ppx_platform | 0.1.0 | success | added |
| ppx_platform | 0.2.0 | success | added |
| ppx_yojson_conv | v0.17.1 | cascade → success | status changed |
| prometheus-app | 1.4 | success → cascade | status changed |
| protocol_version_header | v0.17.0 | cascade → success | status changed |
| quickterface | 0.1.0 | cascade → success | status changed |
| resto-cohttp-self-serving-client | 0.10 | success → cascade | status changed |
| resto-cohttp-self-serving-client | 0.9 | success → cascade | status changed |
| resto-cohttp-self-serving-client | 1.0 | success → cascade | status changed |
| resto-cohttp-self-serving-client | 1.1 | success → cascade | status changed |
| resto-cohttp-self-serving-client | 1.2 | success → cascade | status changed |
| resto-cohttp-server | 0.10 | success → cascade | status changed |
| resto-cohttp-server | 0.9 | success → cascade | status changed |
| resto-cohttp-server | 1.0 | success → cascade | status changed |
| resto-cohttp-server | 1.1 | success → cascade | status changed |
| resto-cohttp-server | 1.2 | success → cascade | status changed |
| splittable_random | v0.16.0 | success → cascade | status changed |
| textutils | v0.17.0 | cascade → success | status changed |
| tezt-performance-regression | 17.1 | success → cascade | status changed |
| tezt-performance-regression | 17.2 | success → cascade | status changed |
| tezt-performance-regression | 17.3 | success → cascade | status changed |
| timedesc | 1.1.1 | failure → success | status changed |
| timedesc-json | 1.1.1 | cascade → success | status changed |
| timedesc-sexp | 1.1.1 | cascade → success | status changed |
| timezone | v0.17.0 | cascade → success | status changed |
| tls | 2.1.4 | success | added |
| tls-async | 2.1.4 | success | added |
| tls-eio | 2.1.4 | success | added |
| tls-lwt | 2.1.4 | success | added |
| tls-miou-unix | 2.1.4 | success | added |
| tls-mirage | 2.1.4 | success | added |
| topiary | 0.1.0 | failure → success | status changed |
| topiary | 0.2.0 | failure → success | status changed |
| topiary | 0.2.1 | failure → success | status changed |
| topiary | 0.2.3 | failure → success | status changed |
| topiary | 0.3.0 | failure → success | status changed |
| topiary | 0.6.0 | failure → success | status changed |
| trexio | 2.6.101 | success | added |
| universo | 2.7 | success → cascade | status changed |
| uopt | v0.17.0 | cascade → success | status changed |
| virtfs | 2.0.0 | success | added |
| virtual_dom | v0.14.0 | success → failure | status changed |
| websocket-lwt-unix | 2.14 | success → cascade | status changed |
| websocket-lwt-unix | 2.17 | success → cascade | status changed |
| why3 | 1.9.0 | success | added |
| why3-coq | 1.9.0 | success | added |
| why3-ide | 1.9.0 | success | added |
| yultracer | 0.2.0 | success → cascade | status changed |
| z3 | 4.10.1 | success → failure | status changed |
| z3 | 4.10.2 | success → failure | status changed |
| z3 | 4.11.0 | success → failure | status changed |
| z3 | 4.11.2 | success → failure | status changed |
| z3 | 4.12.4 | success → failure | status changed |
| z3 | 4.12.5 | success → failure | status changed |
| z3 | 4.13.0 | success → failure | status changed |
| z3 | 4.13.0-1 | success → failure | status changed |
| z3 | 4.13.0-2 | success → failure | status changed |
| z3 | 4.13.0-3 | success → failure | status changed |
| z3 | 4.13.2 | success → failure | status changed |
| z3 | 4.14.1 | success → failure | status changed |
| z3 | 4.15.1 | success → failure | status changed |
| z3 | 4.15.2 | success → failure | status changed |
| z3 | 4.16.0 | success → failure | status changed |
| z3 | 4.8.17 | success → failure | status changed |
| z3 | 4.9.1 | success → failure | status changed |
| z3 | 5.1.0 | success → failure | status changed |
| z3_tptp | 4.10.1 | success → cascade | status changed |
| z3_tptp | 4.10.2 | success → cascade | status changed |
| z3_tptp | 4.11.0 | success → cascade | status changed |
| z3_tptp | 4.11.2 | success → cascade | status changed |
| z3_tptp | 4.8.17 | success → cascade | status changed |
| z3_tptp | 4.9.1 | success → cascade | status changed |
| zstandard | v0.17.0 | cascade → success | status changed |
Repository commits
opam-repository f57187f498f2..1e58433fa2f6
| Commit | Date | Author | Subject |
|---|---|---|---|
| 1e58433fa2 | 2026-10-21 | Shon | Merge pull request #30956 from claudemarche/master |
| 5393dee25d | 2026-10-22 | Marcello Seri | Merge pull request #30979 from xvw/release-virtfs-v2.0.0 |
| 62a1d9bf8f | 2026-10-22 | Marcello Seri | Merge pull request #30919 from scemama/add-trexio-2.6.101 |
| 0d695fd003 | 2026-10-21 | Marcello Seri | Merge pull request #30974 from hannesm/release-tls-v2.1.4 |
| 726e7405b3 | 2026-10-21 | Marcello Seri | Merge pull request #30975 from TaisonTsukada/opam-publish-a2a-client.0.2.2 |
| 7d045795ff | 2026-10-21 | Marcello Seri | Merge pull request #30969 from hhugo/elm_playground_3d_webgl-jsoo-6.5 |
| 6c151193aa | 2026-10-21 | Jan Midtgaard | Merge pull request #30946 from ospencer/opam-publish-binaryen.0.43.0 |
| 71d231f902 | 2026-10-21 | Jan Midtgaard | Merge pull request #30952 from corvus-dotnet/corvus-json-schema.0.1.1 |
| 9497f8aedd | 2026-10-21 | Jan Midtgaard | Merge pull request #30960 from claudemarche/fix_deps_on_why3 |
| f3f0befc97 | 2026-10-21 | Jan Midtgaard | Merge pull request #30944 from davesnx/release-ppx_platform-0.2.0 |
| 480eaa0d76 | 2026-10-21 | Jan Midtgaard | Merge pull request #30939 from davesnx/release-ppx_platform-0.1.0 |
| 1d0a8160d1 | 2026-10-21 | Marcello Seri | Merge pull request #30938 from mtelvers/topiary |
| 9ecfe5ef20 | 2026-10-21 | Marcello Seri | Merge pull request #30933 from yarukha/release-ppx_module-0.0.1 |
| 4214a5059d | 2026-10-21 | xvw | [new release] virtfs (2.0.0) |
| b1c30177a0 | 2026-10-21 | TaisonTsukada | Package a2a-client.0.2.2 |
| 74bbc212fe | 2026-10-21 | Hannes Mehnert | [new release] tls (6 packages) (2.1.4) |
| a0c3cdc741 | 2026-10-20 | Hugo Heuzard | elm_playground_3d_webgl.0.3.6: not compatible with js_of_ocaml 6.5 |
| f8d44ff30a | 2026-10-20 | Claude Marche | Fix dependencies on Why3 |
| 903e809935 | 2026-10-19 | Anthony Scemama | trexio: new checksums for the re-pointed v2.6.101 tag archive |
| 69dd01f0c3 | 2026-10-19 | Anthony Scemama | records: new checksums for the re-pointed v2.6.101 tag archive |
| e36ca50a37 | 2026-10-19 | Anthony Scemama | trexio: new checksums for the re-pointed v2.6.101 tag archive |
| 19d8c8b79b | 2026-10-19 | Anthony Scemama | trexio: new checksums for the re-pointed v2.6.101 tag archive |
| 88dbc56af5 | 2026-10-19 | Claude Marche | Packages for new release Why3 1.9.0 |
| ea3f9db4ad | 2026-10-19 | Anthony Scemama | trexio: actually drop the old conf record; accept Windows CI failures |
| 9f01379f99 | 2026-10-19 | Anthony Scemama | trexio: single self-bootstrapping record (drop conf-trexio) |
| 8ad2c0cedf | 2026-10-17 | Matthew Adams | [new release] corvus-json-schema (0.1.1) |
| 3dee3f98d3 | 2026-10-16 | Oscar Spencer | Package binaryen.0.43.0 |
| 398bdd8d42 | 2026-10-16 | GitHub Actions | [new release] ppx_platform (0.2.0) |
| 7234f3afed | 2026-10-16 | Paul Robert | [new release] ppx_module (0.0.1) |
| e61d1b7b2b | 2026-10-16 | GitHub Actions | [new release] ppx_platform (0.1.0) |
| 37d74cf5a7 | 2026-10-15 | Anthony Scemama | Merge /tmp/opencode/opam-repo-fork into add-trexio-2.6.101 |
| 7e634622f2 | 2026-10-15 | Anthony Scemama | Network-free installation |
| 369c79c6b6 | 2026-10-15 | Mark Elvers | Use mkdir -p |
| a5d6b56552 | 2026-10-14 | Anthony Scemama | Merge branch 'master' into add-trexio-2.6.101 |
| ef885715c4 | 2026-10-14 | Anthony Scemama | Require conf-trexio >= 2.6 from the trexio binding |
| c7dc3569b9 | 2026-10-14 | Anthony Scemama | trexio: gate on C library >= 2.6.1; accept CI platforms where it is unavailable/too old |
| 1f60a2b083 | 2026-10-14 | Anthony Scemama | conf-trexio: conf flag + depexts + x-ci-accept-failures; drop name/version fields |
| cf1aea2a66 | 2026-10-14 | Anthony Scemama | ci: retrigger (org 'analyse' runner crashed: node24 'Argument list too long') |
| 17cab31af8 | 2026-10-14 | Anthony Scemama | Update recorded source checksums (tag v2.6.101 re-pointed to the CI-green commit) |
| c88ff529bf | 2026-10-13 | Anthony Scemama | Add trexio 2.6.101 and conf-trexio 2.6.101 (OCaml binding for TREXIO) |