Filelist of package libisl-dbg in wheezy of architecture armel

/usr/lib/debug/usr/lib/arm-linux-gnueabi/libisl.so.10.0.0
/usr/lib/debug/usr/lib/arm-linux-gnueabi/libisl.so.10.0.0-gdb.py
/usr/share/doc/libisl-dbg