search for: 2f8107f

...hecker.Fingerprint fingerprint, Downloader.SystemProxy + source, Utils.Fingerprint fingerprint, Downloader.SystemProxy ) sources in let sources = List.append repos sources in let index : Index_parser.index = diff --git a/builder/list_entries.ml b/builder/list_entries.ml index 2727c9f..2f8107f 100644 --- a/builder/list_entries.ml +++ b/builder/list_entries.ml @@ -50,10 +50,10 @@ and list_entries_long ~sources index = fun (source, key, proxy) -> printf (f_"Source URI: %s\n") source; (match key with - | Sigchecker.No_Key -> () - | Sigchecker.Fin...

...-> sigchecker:Sigchecker.t -> proxy:Downloader.proxy_mode -> string -> index +val get_index : prog:string -> verbose:bool -> downloader:Downloader.t -> sigchecker:Sigchecker.t -> Sources.source -> index diff --git a/builder/list_entries.ml b/builder/list_entries.ml index 2f8107f..d78ddf8 100644 --- a/builder/list_entries.ml +++ b/builder/list_entries.ml @@ -47,9 +47,9 @@ and list_entries_long ~sources index = let langs = Languages.languages () in List.iter ( - fun (source, key, proxy) -> - printf (f_"Source URI: %s\n") source; - (match key...