Merge pull request 'revise startup, address urls pointing to same sha256 and support mirrors (upstream and in opam file)' (#24 ) from startup into main
Reviewed-on: #24

Reviewed-on: #24
2024-11-20 10:38:21 +00:00 · 2024-11-19 16:26:02 +01:00 · 2022-08-25 14:57:03 +02:00 · 2022-09-26 21:49:47 +02:00
diff --git a/Hannes Mehnert b/Hannes Mehnert
Hannes Mehnert 2edc311a33 Merge pull request 'revise startup, address urls pointing to same sha256 and support mirrors (upstream and in opam file)' (#24 ) from startup into main Reviewed-on: #24		2024-11-20 10:38:21 +00:00
mirage	Use Map.fold over List.fold_left ... (Map.bindings _)	2024-11-19 16:26:02 +01:00
LICENSE.md	initial commit	2022-08-25 14:57:03 +02:00
README.md	add --verify to force verification of the on-disk data	2022-09-26 21:49:47 +02:00