opam-mirror

update issue

#32 opened 2024-12-18 11:36:40 +00:00 by hannes

index.tar.gz contains unnecessary files

#29 by reynir was closed 2024-11-28 09:12:36 +00:00

invalid pack file

#23 by hannes was closed 2024-11-20 09:34:41 +00:00

status page: add more information

#22 opened 2024-11-13 13:29:07 +00:00 by hannes 3 / 6

Different URL with same checksum

#21 by hannes was closed 2024-11-20 10:39:07 +00:00

Git to/of_octets and startup

#20 opened 2024-11-13 12:35:00 +00:00 by hannes

swapfs error handling: not enough space

#19 opened 2024-11-13 12:21:23 +00:00 by hannes

#18 by hannes was closed 2024-11-20 10:39:26 +00:00

Take the mirror into account in url

#13 by hannes was closed 2024-11-20 10:38:59 +00:00

Assertion failed

#12 opened 2024-10-19 09:21:54 +00:00 by reynir

#11 opened 2024-10-18 09:22:29 +00:00 by hannes

file size and parallel downloads

#10 by hannes was closed 2024-11-08 12:53:18 +00:00

Provide a UI for download failures

#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

#5 by reynir was closed 2024-11-20 10:38:51 +00:00

Labels Milestones