Karl Palmskog (Jan 30 2023 at 22:27): 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
it seems like GitHub is in the process of reverting the change.
Edit: change has been reverted.
Last updated: Oct 04 2023 at 18:01 UTC