Список файлов пакета boogie в aramo для архитектуры 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