let parse_preferences_stanza par =
{
Pref.package =
Packages.parse_s ~err:"(MISSING PACKAGE)"
parse_pref_package "Package" par;
pin = Packages.parse_s ~err:"(MISSING PIN)" parse_pin "Pin" par;
pin_priority = Packages.parse_s ~err:"(MISSING Pin-Priority)"
Packages.parse_int "Pin-Priority" par;
}