`opam init` fetches current repository, so no need for update?
`opam init` fetches current repository, so no need for update?

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer