When pining for packages, pinning them is apt; I do agree :) (Sorry can't help with your technical question)
-- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/CAOsGNSTMGOoXaDuM0ag=potseu5dq9denvww2v5b_13ic_o...@mail.gmail.com