bumblebee recommends non-existing virtualgl package

[Christian González]

try apt-get install -s bumblebee (in saucy) or check here:
http://packages.ubuntu.com/saucy/bumblebee

the virtualgl package is recommended, but not available - not in any Ubuntu version:
http://packages.ubuntu.com/search?keywords=virtualgl&searchon=names&suite=all&section=all

Why not just purge the recommendation? Neither debian has this package:
http://packages.debian.org/search?keywords=virtualgl&searchon=names&suite=all&section=all

Or did I get something comepletely wrong?

ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: bumblebee (not installed)
ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3
Uname: Linux 3.11.0-12-generic x86_64
NonfreeKernelModules: wl
ApportVersion: 2.12.5-0ubuntu2.1
Architecture: amd64
Date: Wed Nov 13 08:09:59 2013
InstallationDate: Installed on 2013-11-12 (0 days ago)
InstallationMedia: Kubuntu 13.10 "Saucy Salamander" - Release amd64 (20131016.1)
MarkForUpload: True
SourcePackage: bumblebee
UpgradeStatus: No upgrade log present (probably fresh install)

[Vincent Cheng (vincent-c)]

Although virtualgl isn't yet packaged for Debian/Ubuntu (it's on my todo list), virtualgl works as a drop-in replacement for primus. I've kept the recommendation in case users pick up virtualgl from a 3rd party source (i.e. the Bumblebee PPA), and because it's still recommended as the default bridge by upstream.

Also, if anything needs to be fixed in bumblebee/bbswitch/primus, I would really appreciate it if patches were forwarded to me upstream in Debian instead; there's no need to introduce unnecessary diffs...

[Martin Pitt (pitti)]

As I wrote on the MP, this shoudn't actually hurt, apt will fall back to the alternative dependency. Seems the Debian maintainer is already aware of this, so I see nothing further to be done here. Thanks!

[Christian González (droetker)]

Ok, thanks.
I just did not want to push this to upstream as I did not know if this really was forgotten. The case here was more likely for me: that you already know about it, and I just not ;-)
It's the first time I tried to apply a deb patch - sorry for the unneeded work ;-)