gazagnaire.org / ocaml-cri
Kubernetes CRI CLI: crictl-shaped client, simulator server, proxy
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

opam: retarget the eio, solo5 and unikraft pins

eio moves to a dev commit: it adds portable Net socket options, so a
consumer can set TCP_NODELAY and friends without linking eio.unix. Every package
that depends on eio carries the pin, since opam resolves pin-depends per package
and not from the root.

The solo5 and unikraft cross-toolchains move to wip-macos+runtime_events+lto,
one branch carrying macOS cross-build support, an in-process runtime_events ring
and a flambda compiler that defaults to link-time DCE. The unikernel arms link
with -use-lto, so the compiler has to carry those patches.

author
Thomas Gazagnaire date (Jul 9, 2026, 5:28 PM UTC) commit 262c26e8 parent 1ef68801
+26
+3
cri-client.opam
··· 36 36 ] 37 37 dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-cri" 38 38 x-maintenance-intent: ["(latest)"] 39 + pin-depends: [ 40 + ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 41 + ]
+3
cri-client.opam.template
··· 1 + pin-depends: [ 2 + ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 3 + ]
+5
cri-server.opam
··· 38 38 ] 39 39 dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-cri" 40 40 x-maintenance-intent: ["(latest)"] 41 + pin-depends: [ 42 + ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 43 + ["eio_main.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 44 + ["eio_posix.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 45 + ]
+5
cri-server.opam.template
··· 1 + pin-depends: [ 2 + ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 3 + ["eio_main.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 4 + ["eio_posix.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 5 + ]
+5
cri.opam
··· 41 41 ] 42 42 dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-cri" 43 43 x-maintenance-intent: ["(latest)"] 44 + pin-depends: [ 45 + ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 46 + ["eio_main.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 47 + ["eio_posix.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 48 + ]
+5
cri.opam.template
··· 1 + pin-depends: [ 2 + ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 3 + ["eio_main.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 4 + ["eio_posix.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"] 5 + ]