Apt-Preferences не устанавливает приоритет определённому пакету

[abr_ubuntu]

У меня есть два репозитория, в котором есть пакет "libtidy-dev"

Код: [Выделить]

$ apt-cache policy libtidy-dev

libtidy-dev:
  Installed: 20091223cvs-1.2ubuntu1.1
  Candidate:   1:5.2.0-1+deb.sury.org~trusty+1
  Фиксатор пакета: 1:5.2.0-1+deb.sury.org~trusty+1
  Version table:
     1:5.2.0-1+deb.sury.org~trusty+1 400
        500 http://ppa.launchpad.net/ondrej/php/ubuntu/ trusty/main amd64 Packages
 *** 20091223cvs-1.2ubuntu1.1 400
        500 http://archive.ubuntu.com/ubuntu/ trusty-updates/main amd64 Packages
        500 http://security.ubuntu.com/ubuntu/ trusty-security/main amd64 Packages
        100 /var/lib/dpkg/status
     20091223cvs-1.2ubuntu1 400
        500 http://archive.ubuntu.com/ubuntu/ trusty/main amd64 Packages

Мне нужно, чтобы пакет из репозитория ppa:ondrej/php имел более низкий приоритет, чем у пакета из официального репа.
Я создал файл /etc/apt/preferences.d/libtidy-dev.pref с таким вот содержанием:

Код: [Выделить]

Package: libtidy-dev
Pin: release o=LP-PPA-ondrej-php
Pin-Priority: 400

Но такой конфиг не срабатывает. Приоритет остаётся 500. Попробовал наоборот повысить приоритет у официальных репов:

Код: [Выделить]

Package: libtidy-dev
Pin: origin archive.ubuntu.com
Pin-Priority: 990

Package: libtidy-dev
Pin: origin security.ubuntu.com
Pin-Priority: 990

Всё равно, не работает. Однако, если в любом из вышеупомянутых конфигов имя пакета заменить на звёздочку, то приоритет меняется. Но само собой, что сразу для всех пакетов репозитория. В чём моя ошибка? Как мне разрешить такой конфликт? Может если не приоритетами, то чем?