File: pdiff.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 (12 lines) | stat: -rw-r--r-- 403 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
(* approx: proxy server for Debian archive files
   Copyright (C) 2011  Eric C. Cooper <ecc@cmu.edu>
   Released under the GNU General Public License *)

(* Return the filename of the Packages or Sources file corresponding
   to a pdiff or a DiffIndex file *)

val index_file : string -> string

(* Update the given Packages or Sources file by applying any needed pdiffs *)

val update : string -> unit