File list of package lua-psl-dev in forky of architecture riscv64

/usr/include/lua5.1/lua-psl.h
/usr/include/lua5.3/lua-psl.h
/usr/include/lua5.4/lua-psl.h
/usr/lib/riscv64-linux-gnu/liblua5.1-psl.a
/usr/lib/riscv64-linux-gnu/liblua5.1-psl.so
/usr/lib/riscv64-linux-gnu/liblua5.3-psl.a
/usr/lib/riscv64-linux-gnu/liblua5.3-psl.so
/usr/lib/riscv64-linux-gnu/liblua5.4-psl.a
/usr/lib/riscv64-linux-gnu/liblua5.4-psl.so
/usr/lib/riscv64-linux-gnu/pkgconfig/lua5.1-psl.pc
/usr/lib/riscv64-linux-gnu/pkgconfig/lua5.3-psl.pc
/usr/lib/riscv64-linux-gnu/pkgconfig/lua5.4-psl.pc
/usr/share/doc/lua-psl-dev/changelog.Debian.gz
/usr/share/doc/lua-psl-dev/changelog.Debian.riscv64.gz
/usr/share/doc/lua-psl-dev/copyright
/usr/share/doc/lua-psl-dev/lua-psl.html
/usr/share/doc/lua-psl-dev/lua-psl.md.gz