在 plucky 发行版中 riscv64 硬件架构下的 libmircookie-dev 软件包文件清单

/usr/include/mircookie/mir/cookie/authority.h
/usr/include/mircookie/mir/cookie/cookie.h
/usr/lib/riscv64-linux-gnu/libmircookie.so
/usr/lib/riscv64-linux-gnu/pkgconfig/mircookie.pc
/usr/share/doc/libmircookie-dev/changelog.Debian.gz
/usr/share/doc/libmircookie-dev/copyright