On 2015-06-30 01:31:38 +0200, Jerome BENOIT wrote: > On 30/06/15 00:38, Andreas Beckmann wrote: > > PS: Is it really necessary to switch from an unversioned -dev package > > to a versioned one? > > For consistency ?
I'm not sure, but this will have the drawback that packages which depend or build-depend on the -dev package will have to be updated if its name changes (due to a backward incompatible change in the libmpfi ABI). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers