gazagnaire.org / unikernels
Example mirage-eio unikernels
0
Fork 0

Configure Feed

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

unikernels / unikernel-sql-shell.opam.template
340 B 5 lines
1pin-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]