1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
|
(* approx: proxy server for Debian archive files
Copyright (C) 2007 Eric C. Cooper <ecc@cmu.edu>
Released under the GNU General Public License *)
(* Find the first directory in the path leading to the given file
that contains a Release file, or raise Not_found *)
val find_directory : string -> string
(* Abstract type representing Release file contents *)
type t
(* Read the Release file corresponding to the given file, or raise Not_found *)
val read : string -> t
(* Validate a file using the information from a Release file *)
val validate : t -> string -> bool
(* Check if a file is valid according to the corresponding Release file *)
val valid_file : string -> bool
(* Check if a file is a possibly-compressed Packages file *)
val is_packages_file : string -> bool
(* Check if a file is a possibly-compressed Sources file *)
val is_sources_file : string -> bool
(* Check if a file is an index (Packages, Sources, or a compressed version) *)
val is_index : string -> bool
(* Check if a file is a Release file *)
val is_release : string -> bool
(* Check if a file is a DiffIndex *)
val is_diff_index : string -> bool
(* Check if a file is a pdiff *)
val is_pdiff : string -> bool
(* Check if a file is immutable (deb, source file, or pdiff) *)
val immutable : string -> bool
|