Marcello Seri

Results 435 comments of Marcello Seri

Thanks, the revdeps are fixed separately

Looks like some checksums are different. We should try to get the old packages from the caches: https://github.com/ocaml/opam-repository/wiki/FAQ#how-to-find-lost-archives-of-packages

Sources are now all accessible

Is this missing a dependency? ``` #=== ERROR while compiling universal-portal.0.1 ===============================# # context 2.2.0~beta1 | linux/x86_64 | ocaml-base-compiler.5.1.1 | pinned(https://github.com/pedrobslisboa/universal-reason-portal/archive/refs/tags/0.1.tar.gz) # path ~/.opam/5.1/.opam-switch/build/universal-portal.0.1 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build...

Thanks, looks good now

@raphael-proust it needs your thumbs up to unlock the merge :)

This is redundant: `["sh" "-c" "wget https://github.com/cjlin1/liblinear/archive/refs/tags/v247.tar.gz"]` Since the url is already that one, opam is already putting you in the root of the extracted tarballs. Without that it should...