Stream: Coq users

Topic: GitHub tarball checksum changes


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

GitHub just changed the checksum of every autogenerated .tar.gz file. This affects installation via opam of Coq and many of the packages in the Coq opam archive. Read more here, and please use the following workaround for the time being:

opam install <package> --no-checksums

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

it seems like GitHub is in the process of reverting the change.

Edit: change has been reverted.


Last updated: Jun 20 2024 at 11:02 UTC