Adept Manager is in the System category of the menu, but that's not related to this bug.
Oh, and as a workaround for this bug running "sudo update-apt-xapian-index" will get all your ppa packages to show.
Adept Manager is in the System category of the menu, but that's not related to this bug.
Oh, and as a workaround for this bug running "sudo update- apt-xapian- index" will get all your ppa packages to show.