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/Apt/index.html
Module Dose_debian.Apt
Source
Apt command line parsing
include sig ... end
Source
type apt_req =
| Install of Dose_pef.Packages_types.vpkgreq list
| Remove of Dose_pef.Packages_types.vpkgreq list
| Upgrade of Dose_pef.Packages_types.suite option
| DistUpgrade of Dose_pef.Packages_types.suite option
Source
val parse_pkg_req :
Dose_pef.Packages_types.suite option ->
string ->
Dose_pef.Packages_types.action option
* ((string * Dose_pef.Packages_types.architecture option)
* Dose_pef.Packages_types.constr option)
* Dose_pef.Packages_types.suite option
Source
val preferences_parser :
(Dose_extra.Format822.stanza -> 'a) ->
'a list ->
Dose_extra.Format822.f822_parser ->
'a list
parse the apt_preferences file
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>