[go: up one dir, main page]

File: release.mli

package info (click to toggle)
approx 4.5-1%2Bsqueeze1
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 428 kB
  • ctags: 683
  • sloc: ml: 1,957; sh: 45; makefile: 36
file content (52 lines) | stat: -rw-r--r-- 1,314 bytes parent folder | download | duplicates (2)
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