Opam local mirror




Is there a tool to make a local mirror of selected opam packages ?



You can use opam-admin which is normally installed with opam.

To create a self-contained mirror for a given set of package, you can use:

$ cd /path/to/your/local/opam-repository
$ opam-admin make <pkg1> ... <pkgn> --resolve
$ opam repo add local .


It seems that opam-admin is not available with opam-2.0.0~beta5.


I think it is folded into the main CLI in opam2, e.g. try opam admin --help (without the dash)