Bug#784096: pps-tools: Please provide a -dev package

Sun, 03 May 2015 07:51:31 -0700 

Le dim. 3 mai 2015 à 16:40, Bernd Zeimetz <[email protected]> a écrit :

severity 784096 wishlist
tags 784096 wontfix
thanks


hi,


Hi,


with my pps-tools and gpsd maintainer hat on I say:

Installed-Size: 76
is so tiny that I can't see a reason to create a single package for a single 5k 
header file.


Well, makes sense. :-)

Anyway, thanks Bernd for considering!


cheers,

bernd


Cheers,
Vincent


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to