22 Nov
2016
22 Nov
'16
1:01 p.m.
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