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