rocco@rocco-linux:~$ dpkg -l | grep radeon
ii  libdrm-radeon1:amd64                                  2.4.56-1~ubuntu2                                    amd64        Userspace interface to radeon-specific kernel DRM services -- runtime
ii  xserver-xorg-video-radeon                             1:7.3.0-1ubuntu3.1                                  amd64        X.Org X server -- AMD/ATI Radeon display driver
rocco@rocco-linux:~$  dpkg -l | grep fglrx
rocco@rocco-linux:~$