File list of package libgnatcoll-readline-dev in sid of architecture mips64el

/usr/lib/mips64el-linux-gnuabi64/ada/adalib/gnatcoll_readline/gnatcoll-readline.ali
/usr/lib/mips64el-linux-gnuabi64/libgnatcoll_readline.a
/usr/lib/mips64el-linux-gnuabi64/libgnatcoll_readline.so
/usr/share/ada/adainclude/gnatcoll_readline/gnatcoll-readline.adb
/usr/share/ada/adainclude/gnatcoll_readline/gnatcoll-readline.ads
/usr/share/doc/libgnatcoll-readline-dev/changelog.Debian.gz
/usr/share/doc/libgnatcoll-readline-dev/changelog.Debian.mips64el.gz
/usr/share/doc/libgnatcoll-readline-dev/copyright
/usr/share/doc/libgnatcoll-readline-dev/index.rst
/usr/share/gpr/gnatcoll_readline.gpr