File list of package libdolfin-dev in sid of architecture x32
/usr/lib/x86_64-linux-gnux32/libdolfin.so /usr/lib/x86_64-linux-gnux32/pkgconfig/dolfin.pc /usr/share/doc/libdolfin-dev/NEWS.Debian.gz /usr/share/doc/libdolfin-dev/README.Debian /usr/share/doc/libdolfin-dev/changelog.Debian.gz /usr/share/doc/libdolfin-dev/changelog.gz /usr/share/doc/libdolfin-dev/copyright