Opam local mirror

Ecosystem
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 .
4 Likes
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)

1 Like