Hannes Mehnert da4533c2d3 uniquify urls in respect to sha256 checksums (#21) ... this reduces 19139 urls down to 18563 urls		2024-11-14 19:25:14 +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	uniquify urls in respect to sha256 checksums (#21)	2024-11-14 19:25:14 +01:00