Reynir Björnsson ec45a6a77a Prioritize mirrors over upstream caches ... Also expand on the semantics of --upstream-cache.		2024-11-19 16:04:08 +01:00
..
archive_checksum.ml	take mirrors into account (#13) and allow upstream-caches (#5)	2024-11-14 17:40:22 +01:00
config.ml	use git-kv 0.0.5+ API for to/of_octets	2024-11-08 15:31:50 +01:00
opam_file.ml	take mirrors into account (#13) and allow upstream-caches (#5)	2024-11-14 17:40:22 +01:00
partitions.ml	Use swapfs	2024-11-01 14:35:08 +01:00
unikernel.ml	Prioritize mirrors over upstream caches	2024-11-19 16:04:08 +01:00