Package: storm-lang-tutorials
Source: storm-lang
Priority: optional
Section: universe/devel
Installed-Size: 1675
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.8.1+dfsg-1build1
Depends: storm-lang (>= 0.8.1+dfsg-1build1)
Filename: pool/universe/s/storm-lang/storm-lang-tutorials_0.8.1+dfsg-1build1_all.deb
Size: 415662
SHA512: 34d27fc0694fdb8512fb15637da4d161d5a20eff7566a5e335b4642cc380a710794e04d58e5ba2c5d1d153d5b0d507f9507d1158c0d75c15733e96a431191018
Homepage: https://storm-lang.org/
Description: Source code for the tutorials in the Storm manual
Description-md5: 4b046faeced6cec9d15f01cc8b695ccf
Original-Maintainer: Filip Strömbäck <fstromback@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug