File: release.mli

package info (click to toggle)
approx 5.10-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 340 kB
  • sloc: ml: 2,220; sh: 42; makefile: 32
file content (41 lines) | stat: -rw-r--r-- 1,118 bytes parent folder | download | duplicates (6)
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
(* approx: proxy server for Debian archive files
   Copyright (C) 2011  Eric C. Cooper <ecc@cmu.edu>
   Released under the GNU General Public License *)

(* Check if a file is valid according to the corresponding Release file.
   The file must be a pathname relative to the cache directory and
   the caller's working directory must be the cache directory. *)

val valid : 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 an InRelease, Release, or Release.gpg 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 a TranslationIndex *)

val is_i18n_index : string -> bool

(* Check if a file is immutable (deb, source file, or pdiff) *)

val immutable : string -> bool