File list of package libwhy3-ocaml-dev in sid of architecture riscv64
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/META
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/why3.a
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/why3.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/why3.cmi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/why3.cmt
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/why3.cmx
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/why3.cmxa
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/why3/why3.cmxs
/usr/share/doc/libwhy3-ocaml-dev/NEWS.Debian.gz
/usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.riscv64.gz
/usr/share/doc/libwhy3-ocaml-dev/changelog.gz
/usr/share/doc/libwhy3-ocaml-dev/copyright
/var/lib/ocaml/lintian/libwhy3-ocaml-dev.info
/var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums
/usr/lib/ocaml/why3/META
/usr/lib/ocaml/why3/why3.a
/usr/lib/ocaml/why3/why3.cma
/usr/lib/ocaml/why3/why3.cmi
/usr/lib/ocaml/why3/why3.cmt
/usr/lib/ocaml/why3/why3.cmx
/usr/lib/ocaml/why3/why3.cmxa
/usr/lib/ocaml/why3/why3.cmxs
/usr/share/doc/libwhy3-ocaml-dev/NEWS.Debian.gz
/usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.riscv64.gz
/usr/share/doc/libwhy3-ocaml-dev/changelog.gz
/usr/share/doc/libwhy3-ocaml-dev/copyright
/var/lib/ocaml/lintian/libwhy3-ocaml-dev.info
/var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums