robur/opam-mirror
4
0
Fork 0
Code Issues 5 Pull requests 2 Projects Releases Packages Wiki Activity Actions

Idea: Be able to use one or more upstream caches #5

New issue
Closed
opened 2024-10-16 12:18:10 +00:00 by reynir · 2 comments
reynir commented 2024-10-16 12:18:10 +00:00
Owner
Copy link

Some source archives unfortunately disappear from their URL. In many cases it is still available at https://opam.ocaml.org/cache (if published on the ocaml/opam-repository). It could be interesting to try that URL if a download fails as a second option (or even as a first option).

Some source archives unfortunately disappear from their URL. In many cases it is still available at https://opam.ocaml.org/cache (if published on the ocaml/opam-repository). It could be interesting to try that URL if a download fails as a second option (or even as a first option).
hannes commented 2024-10-17 08:16:10 +00:00
Owner
Copy link

I like that proposal. Though I'd first go to the original source url and only thereafter to some cache(s). I'd as well appreciate if we can have a report (maybe served as website) for those source urls that are not available anymore.

I like that proposal. Though I'd first go to the original source url and only thereafter to some cache(s). I'd as well appreciate if we can have a report (maybe served as website) for those source urls that are not available anymore.
hannes commented 2024-11-20 10:38:51 +00:00
Owner
Copy link

done in #24

done in #24
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
index-startup
gptar
cache
No results found.
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: robur/opam-mirror#5
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?