On Mon, Jun 05 2017, Julian Andres Klode wrote: >> In apt_preferences, would it possible to pin packages by their source name? > > That is planned. We already have a almost 15 year old wishlist > bug for that, so I'm merging this one into that. Missed that. Mmmh, I guess I shouldn't sweat on it...