Package: storm-lang-tutorials
Architecture: all
Version: 0.6.20-1build3
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: 208
Depends: storm-lang (>= 0.6.20-1build3)
Filename: pool/universe/s/storm-lang/storm-lang-tutorials_0.6.20-1build3_all.deb
Size: 43358
MD5sum: 8ef95513814c0cd9a926888c2eb53c94
SHA1: 9e538093dba42959df60909a64c7e624919a310d
SHA256: a78007030b29e1be46028917bbf4cbdeb6256734c224f480242cc036db373811
SHA512: 852b2128dc30dfb84ce1c62dc185922b30edd0574452460c72983602bf974936a08cbc695f60a10b368f15e05582feb40efe404e3e5808ce1c5bfe29f9290df1
Homepage: https://storm-lang.org/
Description: Source code for the tutorials in the Storm manual
Description-md5: 191c4ad722e8ca5d2a27fb934d76d1e2