Package: storm-lang-tutorials
Source: storm-lang
Version: 0.7.5-3
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Filip Strömbäck <filip@fprg.se>
Installed-Size: 203
Depends: storm-lang (>= 0.7.5-3)
Section: doc
Priority: optional
Homepage: https://storm-lang.org/
Description: Source code for the tutorials in the Storm manual
 Source code for the tutorials that are used in the Storm
 manual. Installed in /usr/lib/storm/tutorials
