Package: libcteco50000 Severity: minor Hi, a very stupid question, but is libcteco50000 indeed the right package name for a Orga Eco 5000 smartcard reader driver? Another package from the same source package is called ibcteco5000-dev. Please note 50 000 vs. 5 000! It's an old package but nobody noticed it yet???? Jens