Hi, I'm trying to install
coq-elpi via opam and I'm getting an error with checksum.
OpamSolution.Fetch_fail("https://github.com/LPCIC/coq-elpi/archive/v1.16.0.tar.gz (Bad checksum, expected sha256=db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7)")
Am I doing something wrong?
@Enrico Tassi looks like all
coq-elpi release packages now have the wrong checksum. Did the repo name change on GitHub or similar?
nope, let me check
oh, this looks even worse, GitHub may have invalidated every checksum on GitHub
OK, this is really bad unless it can be fixed on their end...
#=== ERROR while fetching sources for coq-libhyps.2.0.6 =======================# OpamSolution.Fetch_fail("https://github.com/Matafou/LibHyps/archive/libhyps-2.0.6.tar.gz (Bad checksum, expected sha512=13a50570088d9223b3abf5cf65dc4b64c6d2215db84b1f0044ab332dd838104df18e181bc 37617e5df1ed9dea506ea568f456c7ed256113c2d435bb0ee03dd5e)")
the problem is general and I will try to track it here: https://github.com/coq/opam-coq-archive/issues/2458
the recommended workaround is to use
opam install <package> --no-checksums
Last updated: Jun 06 2023 at 23:01 UTC