package dose3
Dose library (part of Mancoosi tools)
Install
Dune Dependency
Authors
Maintainers
Sources
dose3-6.1.tar.gz
md5=dedc2f58f2c2b59021f484abc6681d93
sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34
doc/dose3.debian/Dose_debian/Release/index.html
Module Dose_debian.Release
Source
Debian release files. This file format, and its use in apt, is described on http://wiki.debian.org/SecureApt.
Source
type release = {
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!!
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>