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

Labels Milestones

Fuzzy
Fuzzy
Exact
New issue
6 Open 9 Closed
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
PixieDust
dinosaure
hannes
reynir
index.tar.gz contains unnecessary files
1
#29 by reynir was closed 2024-11-28 09:12:36 +00:00
invalid pack file
1
#23 by hannes was closed 2024-11-20 09:34:41 +00:00
Different URL with same checksum
2
#21 by hannes was closed 2024-11-20 10:39:07 +00:00
At startup, always check the digests of the files
4
#18 by hannes was closed 2024-11-20 10:39:26 +00:00
Take the mirror into account in url
1
#13 by hannes was closed 2024-11-20 10:38:59 +00:00
file size and parallel downloads
4
#10 by hannes was closed 2024-11-08 12:53:18 +00:00
Provide a UI for download failures
1
#9 by hannes was closed 2024-11-04 10:00:09 +00:00
Process "extra-source" as well as URL
#8 by hannes was closed 2024-10-26 14:42:13 +00:00
Idea: Be able to use one or more upstream caches
2
#5 by reynir was closed 2024-11-20 10:38:51 +00:00