You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[ERROR] The sources of the following couldn't be obtained, aborting:
- KaSim.4.0.0:
https://github.com/Kappa-Dev/KaSim/archive/v4.0.tar.gz (Bad checksum, expected md5=894a517c7991f42100d2e957efc6cfa2)
The git archives have changed checksum since some time and they
keep failing in the CI. See also Kappa-Dev/KappaTools#636
Signed-off-by: Marcello Seri <[email protected]>
From https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/530f075fbfd6646cef636cefe0a5a5eaaf26135a/variant/compilers,4.11,cohttp.4.0.0,revdeps,KaSim.4.0.0
You can recover the original archive from https://opam.ocaml.org/cache/md5/89/894a517c7991f42100d2e957efc6cfa2
Could you replace the tarball of the v4.0 release with the old one from that URL?
The text was updated successfully, but these errors were encountered: