After adding new packages, one needs to update index:

opam admin make

and push corresponding changes to the repo.