Package: apt Version: 0.7.3 Severity: minor Hi, apt_preferences(5) has, in its "Determination of Package Version and Distribution Properties", a paragraph explaining how to pin for release lines headlined by "the Version: line". This is most probably a cut&paste error. Greetings Marc