The text ee4013c7c27f, as Debian 10 (Buster) shipped it.
Smart card reader interface library
Chipcard::PCSC(3pm) on Linux now