yossarian@rehnquist:~$ sudo dpkg -l | grep fglrx
ii  fglrx-atieventsd                      1:11-6-2                          external events daemon for the non-free ATI/AMD RadeonHD display driver
ii  fglrx-control                         1:11-6-2                          control panel for the non-free ATI/AMD RadeonHD display driver
ii  fglrx-driver                          1:11-6-2                          non-free ATI/AMD RadeonHD display driver
ii  fglrx-glx                             1:11-6-2                          proprietary libGL for the non-free ATI/AMD RadeonHD display driver
ii  fglrx-glx-ia32                        1:11-6-2                          proprietary libGL for the non-free ATI/AMD display driver (ia32 libs)
ii  fglrx-modules-dkms                    1:11-6-2                          dkms module source for the non-free ATI/AMD RadeonHD display driver
ii  glx-alternative-fglrx                 0.1.4                             allows the selection of FGLRX as GLX provider
ii  xvba-va-driver                        0.7.8-1                           XvBA-based backend for VA API (AMD fglrx implementation)