> The "8.5.pl3-1" would have been a very standard way of solving this, > and the suggested more plain "8.5.3-1" is fine as well.
Right, I somehow didn't think of "8.5.pl3-1", that is much better :) I still don't really like "8.5.3-1" though, it's closer to being confusingly different from what upstream uses. -- GPG fingerprint: 871F 1047 7DB3 DDED 5FC4 47B2 26C7 E577 EF96 7808
signature.asc
Description: OpenPGP digital signature
