Paketin libwhy3-ocaml-dev tiedostoluettelo jakelussa bullseye arkkitehtuurilla mips64el
/usr/lib/ocaml/why3/META /usr/lib/ocaml/why3/why3.cma /usr/lib/ocaml/why3/why3.cmi /usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz /usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.mips64el.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