module Pref:for details on the apt_preferences format : man apt_preferencessig
..end
type
pin_t =
| |
Release of |
| |
Origin of |
| |
Version of |
type
package_t =
| |
Package of |
| |
Star |
typepin_priority_t =
int
type
apt_preferences = {
|
package : |
|
pin : |
|
pin_priority : |