package dose3-extra
Dose-extra libraries and tools (part of Mancoosi tools)
Install
dune-project
Dependency
Authors
Maintainers
Sources
dose3-7.0.0.tar.gz
md5=bc99cbcea8fca29dca3ebbee54be45e1
sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f
doc/dose3-extra.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)"
>