Stream: Elpi users & devs

Topic: opam install coq-elpi


view this post on Zulip 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?

view this post on Zulip 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?

view this post on Zulip Enrico Tassi (Jan 30 2023 at 21:34):

nope, let me check

view this post on Zulip Karl Palmskog (Jan 30 2023 at 21:35):

oh, this looks even worse, GitHub may have invalidated every checksum on GitHub

view this post on Zulip 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)")

view this post on Zulip Karl Palmskog (Jan 30 2023 at 22:20):

the problem is general and I will try to track it here: https://github.com/coq/opam-coq-archive/issues/2458

view this post on Zulip Karl Palmskog (Jan 30 2023 at 22:21):

the recommended workaround is to use opam install <package> --no-checksums


Last updated: Jun 16 2024 at 02:41 UTC