Hi, Le 03/09/2015 20:59, Tobias Hansen a écrit :
Mhh, then people looking for it won't find it. It would probably be good to have arb in the name. What about naming them src:arblib, libarblib and libarblib-dev?
That makes quite a few 'lib', but it's better than what I proposed ; if nobody complains I'll just use those names in a few days.
Thanks, Snark on #debian-science
