Samuel Li (Jan 30 2023 at 20:30): Samuel Li (Jan 30 2023 at 20:30):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?
Karl Palmskog (Jan 30 2023 at 21:33):@Enrico Tassi looks like all coq-elpi release packages now have the wrong checksum. Did the repo name change on GitHub or similar?
Enrico Tassi (Jan 30 2023 at 21:34):nope, let me check
Karl Palmskog (Jan 30 2023 at 21:35):oh, this looks even worse, GitHub may have invalidated every checksum on GitHub
Karl Palmskog (Jan 30 2023 at 21:37):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
Karl Palmskog (Jan 30 2023 at 22:21):the recommended workaround is to use opam install <package> --no-checksums
Last updated: Oct 13 2024 at 01:02 UTC