Previous week Up Next week


Here is the latest OCaml Weekly News, for the week of December 29, 2015 to January 05, 2016.

  1. How to create a local opam repository for offline use?
  2. Ocaml Github Pull Requests
  3. Other OCaml News

How to create a local opam repository for offline use?


François Berenger asked and François Bobot replied:
> What is the current procedure to prepare an opam repository
> so that a machine that has no internet access can still use
> opam ?
> Furthermore, is it possible to create a minimal opam repository,
> so also for offline use, but let's say I know only a single
> software with all its dependencies will be installed by the
> offline machine.
> Because, I am foreseeing that downloading all tarballs of all possible
> ocaml software/libraries might exhaust my patience.

The relevant issues are, I think:

And a PR that solve some remaining problems with virtual packages:

However I need to rewrite it in order to have something less hackish.
François Beranger then said:
OK, thanks for the info, so here is a recipe that worked for me:

tar xzf master.tar.gz
cd opam-repository-master
opam-admin make --resolve PKG
# here I needed to remove
# ocamlbuild from the depends field in the opam file of several packages
# so that the solver finally succeed, so opam-admin-make probably has
# a bug
opam repo add offline $PWD
opam repo remove default # then I have only one opam repository setup
# here I turned off my network card
opam update
opam install PKG # worked using tarballs from the local-disk only

Ocaml Github Pull Requests

Gabriel Scherer compiled this list:
Here is a sneak peek at some potential future features of the Ocaml
compiler, discussed by their implementers in these Github Pull Requests.

Do more optimization (part 1)

Other OCaml News

From the ocamlcore planet blog:
Thanks to Alp Mestan, we now include in the OCaml Weekly News the links to the
recent posts from the ocamlcore planet blog at

Andrej Bauer: A Brown-Palsberg self-interpreter for Gödel’s System T

Thomas Leonard: A Unikernel Firewall for QubesOS

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt