Bestandenoverzicht voor pakket boogie in aramo voor het platform all
/usr/bin/boogie /usr/bin/bvd /usr/lib/boogie/BVD.exe /usr/lib/boogie/Boogie.exe /usr/share/doc/boogie/README.md /usr/share/doc/boogie/changelog.Debian.gz /usr/share/doc/boogie/copyright /usr/share/man/man1/boogie.1.gz /usr/share/man/man1/bvd.1.gz