Marcello Seri

Results 435 comments of Marcello Seri

Spotted this today: ``` [ERROR] The sources of the following couldn't be obtained, aborting: - ezjs_fetch.0.1: https://github.com/OCamlPro/ezjs_fetch/archive/0.1.tar.gz (Bad checksum, expected sha256=7e1683758ddcf7489d58f05b0b5b7c7f018fc83567346e80cbde895fd2b3a3f9) ```

Recently updated here https://github.com/ocaml/opam-repository/issues/22057 as well

Seen on https://github.com/ocaml/opam-repository/pull/18987

What if we keep the tutorial, translating it to use Seq, just to show how can one do the same with what is in the standard library, and then use...

The same issue appeared for 4.1.0: ``` [ERROR] The sources of the following couldn't be obtained, aborting: - kappa-agents.4.1.0: https://github.com/Kappa-Dev/KappaTools/archive/v4.1.tar.gz (Bad checksum, expected sha256=f24a38f73a88f1b3d8137aa083bad8d76c679c4b6c59ec29e1567ad95bf1df13) - kappa-binaries.4.1.0: https://github.com/Kappa-Dev/KappaTools/archive/v4.1.tar.gz (Bad checksum, expected...

+1 for this, would be really useful

It is not the norm that the tarballs change, but they do change, e.g. if a repository or its owner/organization is renamed on github, but it is not limited to...

Any update on this?