File list of package storm-lang-ui in bianca of architecture amd64

/usr/lib/storm/ui/Gui.so
/usr/lib/storm/ui/Gui_doc
/usr/lib/storm/ui/export
/usr/lib/storm/ui/format.bnf
/usr/lib/storm/ui/format.bs
/usr/lib/storm/ui/layout.bs
/usr/lib/storm/ui/licenses.bs
/usr/lib/storm/ui/licenses/license.bs
/usr/lib/storm/ui/message.bs
/usr/lib/storm/ui/pdf/README
/usr/lib/storm/ui/pdf/file.bs
/usr/lib/storm/ui/pdf/graphics.bs
/usr/lib/storm/ui/pdf/obj.bs
/usr/lib/storm/ui/pdf/types.bs
/usr/lib/storm/ui/pdf/units.bs
/usr/lib/storm/ui/syntax.bnf
/usr/lib/storm/ui/syntax.bs
/usr/share/doc/storm-lang-ui/changelog.Debian.amd64.gz
/usr/share/doc/storm-lang-ui/changelog.Debian.gz
/usr/share/doc/storm-lang-ui/copyright