On Fri, Apr 08, 2011 at 03:32:43PM +0530, Rustom Mody wrote: > Very strange! > synaptic does not show libgmp-dev but libgmp-ocaml-dev > > However aptitude shows it is there! > > $ aptitude show libgmp-dev > Package: libgmp-dev > Version: 2:5.0.1+dfsg-7 > > Dont understand...
I confirm that 2:5.0.1+dfsg-7 is the one i see in unstable at this moment, so it definitely looks like a synaptic bug, and synaptic only. You could double check aptitude's opinion with apt-get -l or dpkg-query -W and then submit a bug report to synaptic. cheers -- Benoit Triquet .''`. : :' : We are debian.org. Lower your prices, surrender your code. `. `' We will add your hardware and software distinctiveness to `- our own. Resistance is futile. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
