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!!