The text a01d1d556b9f, as Debian 9 (Stretch) shipped it.
Omnikey CardMan 4040 smartcard reader device driver
cmx(4freebsd) on Linux now