Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

mark some more packages unavailable #27149

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

Conversation

hannesm
Copy link
Member

@hannesm hannesm commented Dec 19, 2024

see #27131

this PR is based on observations from https://opam.robur.coop/status

EDIT: I tried to find the sources, on my laptop, on opam.ocaml.org/cache - without success.

https://gitlab.com/tezos/tezos/-/archive/v10.0-rc1/tezos-v10.0-rc1.tar.bz2 error sha512 checksum: computed eb975c3d85910f544b8298ab1677793063a4f69e2733b90c0c1e50ba7164c2e5764783ff8321b7495b66aed63e55f6f6e6d77457f87fe6cd035200b6c7b98b0c expected 4afabf8e8bb2b862000e526010bbd9aac677cac2a1b48848deafb096e45e1ebb2a3fad0dcfae136ff93231590cae5484f6515c31557c13aef1e2685b3c02a6ee
https://gitlab.com/tezos/tezos/-/archive/v9.7/tezos-v9.7.tar.bz2 error sha512 checksum: computed eaddf358d535012ae49fd5408fcacd5e5f20dcbf9854031c9802aab7597754224b776f61dd51292ad2e9425b7b0a1c106d87553fee9f4f2bd687a9efeb2943d4 expected d352bfe6cc4559f1b7d8a30c343c1fdfe921976f5bde21b20cd4ae20ca51ab65f091fc202e29295884e0931d22de36769e943d780eb68800516a5f2ae3587c06
https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.3.5.tar.gz error sha512 checksum: computed d3dc73945ebf46f85681fc622615bd6cc979d45247ea53f71967261d49c832553581b7b7014293915cc57e401af519c123e926268c8b37c285e913138ead4606 expected 29ce59af97e6d60547a193b43538f4812ff74fb01a812cda7109855219457fa7a47f59ea39aff2a5e03fd70181e024a3296b4f48300818a81f62fd2d8629c389
https://github.com/lemaetech/http-cookie/releases/download/v3.0.0/http-cookie-v3.0.0.tbz error sha512 checksum: computed d84780669435830c5be08514e596f5800ecaf563dc634ee0cc698c78aab228ad1930698a23f180960c41aa476b19117f298a7f2e2c73133b1e18c4268ce13d5f expected 42d351a522355edca8bdf64b0048e7fb6af0be21bded8ff8fb75bf7ff463360511b2e17de4b22a9ad29887993baf916bc0ee3d1092496a6ca86bb05832abf118
gforge.inria.fr returns 403
the host godi.0ok.org does not resolve
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant