[Solved, sort of] Re: cannot find and install some dev packages



On 22/08/11 10:57 PM, H.S. wrote:
On 20/08/11 11:07 AM, Johan Grönqvist wrote:
apt-cache policy libhighgui.dev

And I am still getting this:
$> sudo aptitude install libhighgui.dev
Couldn't find any package whose name or description matched "libhighgui.dev"
Couldn't find any package whose name or description matched "libhighgui.dev"
No packages will be installed, upgraded, or removed.
0 packages upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B of archives. After unpacking 0 B will be used.

Strangely, I rebooted and now I was able to install the package.



--

Please reply to this list only. I read this list on its corresponding
newsgroup on gmane.org. Replies sent to my email address are just
filtered to a folder in my mailbox and get periodically deleted without
ever having been read.


--
To UNSUBSCRIBE, email to debian-user-REQUEST@xxxxxxxxxxxxxxxx
with a subject of "unsubscribe". Trouble? Contact listmaster@xxxxxxxxxxxxxxxx
Archive: http://lists.debian.org/j2v679$uac$1@xxxxxxxxxxxxxxx