On Tue, Nov 22, 2016 at 11:28:40AM +0000, Giancarlo Razzolini wrote: > Em novembro 22, 2016 6:35 Baptiste Jonglez escreveu: > >Interesting, thanks. However, upstream starts each new minor version at > >p1, so it looks like: > > > > 7.2p1 → 7.2p2 → 7.3p1 → etc > > > > Worth nothing that OpenSSH releases the so called "portable" versions. Hence > the 'p'.
You're right, it's not the same semantic. > >which works fine for pacman. The problematic behaviour for pacman would > >be: > > > > 7.2p1 → 7.2p2 → 7.3 → 7.3p1 → etc > > > >In the case of coq, I guess this is something that should ideally be fixed > >upstream. > > > > What a horrible, ugly way to version packages. If they could fix it upstream, > its better. And it might even benefit other distributions. Totally agreed. I reported the bug upstream [1], and it turns out the maintainers have already planned a more reasonable versioning scheme for the next version. So, problem (most likely) solved! Thanks, Baptiste [1] https://coq.inria.fr/bugs/show_bug.cgi?id=5221
signature.asc
Description: PGP signature
