Package: storm-lang-tutorials
Architecture: all
Version: 0.6.28-3build1
Priority: optional
Section: universe/devel
Source: storm-lang
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Filip Strömbäck <filip@fprg.se>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 209
Depends: storm-lang (>= 0.6.28-3build1)
Filename: pool/universe/s/storm-lang/storm-lang-tutorials_0.6.28-3build1_all.deb
Size: 43340
MD5sum: 0a2fd8189daebeb7f17558a38f6d74f8
SHA1: c25920b100b83a3d3b1554128f4dcccd4d129ca7
SHA256: facac7265ee18f6e58a3288ab917a192debbb79f72760778735e44ee75748193
SHA512: c8425687bc3c41b0b8b2bec117cbb59e71183f4cb9ca0b5d7ccedfd058fa7f18ff7aff2ae19d0284d6434a931e59dcd3f90e98c6d47ca1807c747d317cadff50
Homepage: https://storm-lang.org/
Description: Source code for the tutorials in the Storm manual
Description-md5: 191c4ad722e8ca5d2a27fb934d76d1e2