Sorry that the version was cut off. Yes, I am using the ~ppa3 packages:
dpkg -s hal | grep ^Version Version: 0.5.10+git20080301-1ubuntu1~ppa3
Sorry that the version was cut off.
Yes, I am using the ~ppa3 packages:
dpkg -s hal | grep ^Version git20080301- 1ubuntu1~ ppa3
Version: 0.5.10+