On Mon, Aug 22, 2011 at 19:32:28 +0200, Julien Cristau wrote: > So I restricted the search to shared libs under /usr/lib, and ended up > with: > Considering also /lib adds one more: dmapi_2.2.10-1 Cheers, Julien