You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There have now been several packages in released whose archives (tarballs) have become inaccessible either permanently or temporarily (coqhammer-1.0.3 is the latest example).
One way to deal with this problem would be to periodically back up all archives for all packages in the released OPAM repo. This would right now be possible to set up completely externally, by using the JSON representation of the archive, see #1158.
The text was updated successfully, but these errors were encountered:
There have now been several packages in
released
whose archives (tarballs) have become inaccessible either permanently or temporarily (coqhammer-1.0.3 is the latest example).One way to deal with this problem would be to periodically back up all archives for all packages in the
released
OPAM repo. This would right now be possible to set up completely externally, by using the JSON representation of the archive, see #1158.The text was updated successfully, but these errors were encountered: