remove tm-grammars.1.0.0

[davesnx]

Summary

• remove tm-grammars.1.0.0 from opam-repository
• the published release tarball URL is currently broken, so the package is not installable

If the upstream 1.0.0 tag/release is restored with the original tarball/checksum, we can submit a re-add PR instead.

[jmid]

Thanks!

In general we try to avoid removing packages:
https://github.com/ocaml/opam-repository/tree/master/governance/policies#1-removal-of-packages-should-be-avoided

Instead, we try to find a copy of the tar-ball in one of the caches as described here
https://github.com/ocaml/opam-repository/wiki/FAQ#how-to-find-lost-archives-of-packages
then upload the restored tar-ball to https://github.com/ocaml/opam-source-archives/
and finally send a PR here to update the URL to point to opam-source-archives instead (but keeping the checksum)
and thereby ensure immutability of the already published package 🤷

(when I tried myself just now, the caches were failing me however...)

[davesnx]

I tried to point to a new checksum, since the original got removed #29525

[jmid]

I tried to point to a new checksum, since the original got removed #29525

I suspect we are misunderstanding each other.
Here's a prior PR #28407 doing what I tried to explain above.
Notice how it is changing the tar-ball URL, but leaving the checksum unmodified.

[mseri]

Superseded by the linked PR