Opam local mirror

opam

#1

Hi,

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

Thanks.


#2

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 .

#3

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


#4

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