package dose3

  1. Overview
  2. Docs
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/Apt/Pref/index.html

Module Apt.PrefSource

for details on the apt_preferences format : man apt_preferences

Sourcetype pin_t =
  1. | Release of (string * string) list
  2. | Origin of string
  3. | Version of string
Sourcetype package_t =
  1. | Package of string
  2. | Star
Sourcetype pin_priority_t = int
Sourcetype apt_preferences = {
  1. package : package_t;
  2. pin : pin_t;
  3. pin_priority : pin_priority_t;
}
OCaml

Innovation. Community. Security.