However, prior to that:
$ dpkg -l | grep libchipcard | awk '{print $1,$2,$3}' rc libchipcard-ctapi0 4.2.8-1ubuntu1 rc libchipcard-data 4.2.8-1ubuntu1 rc libchipcard-tools 4.2.8-1ubuntu1 rc libchipcardc2 4.2.8-1ubuntu1 rc libchipcardd0 4.1.3-2ubuntu1
However, prior to that:
$ dpkg -l | grep libchipcard | awk '{print $1,$2,$3}'
rc libchipcard-ctapi0 4.2.8-1ubuntu1
rc libchipcard-data 4.2.8-1ubuntu1
rc libchipcard-tools 4.2.8-1ubuntu1
rc libchipcardc2 4.2.8-1ubuntu1
rc libchipcardd0 4.1.3-2ubuntu1