File list of package libadasockets12-dev in sid of architecture riscv64

/usr/bin/adasockets-config
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-constants.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-link.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-multicast.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-naming.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-stream_io.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-thin.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-types.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets-utils.ali
/usr/lib/riscv64-linux-gnu/ada/adalib/adasockets/sockets.ali
/usr/lib/riscv64-linux-gnu/libadasockets.a
/usr/lib/riscv64-linux-gnu/libadasockets.so
/usr/lib/riscv64-linux-gnu/pkgconfig/adasockets.pc
/usr/share/ada/adainclude/adasockets/sockets-constants.ads
/usr/share/ada/adainclude/adasockets/sockets-link.ads
/usr/share/ada/adainclude/adasockets/sockets-multicast.adb
/usr/share/ada/adainclude/adasockets/sockets-multicast.ads
/usr/share/ada/adainclude/adasockets/sockets-naming.adb
/usr/share/ada/adainclude/adasockets/sockets-naming.ads
/usr/share/ada/adainclude/adasockets/sockets-stream_io.adb
/usr/share/ada/adainclude/adasockets/sockets-stream_io.ads
/usr/share/ada/adainclude/adasockets/sockets-thin.ads
/usr/share/ada/adainclude/adasockets/sockets-types.ads
/usr/share/ada/adainclude/adasockets/sockets-utils.adb
/usr/share/ada/adainclude/adasockets/sockets-utils.ads
/usr/share/ada/adainclude/adasockets/sockets.adb
/usr/share/ada/adainclude/adasockets/sockets.ads
/usr/share/doc-base/libadasockets12-dev.adasockets
/usr/share/doc/libadasockets12-dev/README.Debian
/usr/share/doc/libadasockets12-dev/README.md
/usr/share/doc/libadasockets12-dev/adasockets.pdf.gz
/usr/share/doc/libadasockets12-dev/changelog.Debian.gz
/usr/share/doc/libadasockets12-dev/copyright
/usr/share/doc/libadasockets12-dev/examples/examples.gpr
/usr/share/doc/libadasockets12-dev/examples/listener.adb
/usr/share/doc/libadasockets12-dev/examples/multi.adb
/usr/share/doc/libadasockets12-dev/examples/stream_listener.adb
/usr/share/doc/libadasockets12-dev/examples/stream_sender.adb
/usr/share/doc/libadasockets12-dev/examples/tcprelay.adb
/usr/share/gpr/adasockets.gpr
/usr/share/info/adasockets.info.gz
/usr/share/man/man1/adasockets-config.1.gz