Debian release files. This file format, and its use in apt, is described on http://wiki.debian.org/SecureApt.
|
#
fname
| : string | ; | |||
|
#
origin
| : string | ; | |||
|
#
label
| : string | ; | |||
|
#
suite
| : string | ; | |||
|
#
version
| : string | ; | |||
|
#
codename
| : string | ; | |||
|
#
date
| : string | ; | |||
|
#
architecture
| : string | ; | |||
|
#
component
| : string | ; | |||
|
#
notauto
| : bool | ; | |||
|
#
autoup
| : bool | ; | |||
|
#
description
| : string | ; | |||
|
#
md5sums
| : (string * string * string) list | ; | |||
|
#
sha1
| : (string * string * string) list | ; | |||
|
#
sha256
| : (string * string * string) list | ; |
The type for representing the contents of one release file
parse_release_in filename channel parses the contents of a release
file of name filename from the input channel channel. Returns
Some(c) when c is the contents of the release file read from the
stream, or None when the stream contains only whitespace.
The release file may be signed, but in this case the validity of the signature is not checked!!