[Bio-Linux] Galaxy in the apt repository???

[Stephane Bortzmeyer]

I've noticed that Bio-Linux 7 includes Galaxy but I cannot find it in
the NEBC apt repository.

I have this sources.list:

% cat /etc/apt/sources.list.d/nebc.nox.ac.uk.bio-linux.sources.list 
deb http://nebc.nox.ac.uk/bio-linux/ unstable bio-linux

And yet, no Galaxy available:

% apt-cache search galaxy
uqm - The Ur-Quan Masters - An inter-galatic adventure game
[And only other irrelevant stuff]