Package: storm-lang-tutorials
Source: storm-lang
Priority: optional
Section: universe/devel
Installed-Size: 203
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.7.5-3
Depends: storm-lang (>= 0.7.5-3)
Filename: pool/universe/s/storm-lang/storm-lang-tutorials_0.7.5-3_all.deb
Size: 43268
MD5sum: 8f3843e05ec57b10c269adf183b4823e
SHA1: 0d9b60ce6cf97b5da4c1d5347d9508104d18a5c6
SHA256: cb5814236879d36831d638c03214af4ce825e68b50d4358b7a16585e64c46d7c
SHA512: 2f13929d57899e8ee84416161558e47540ef4fa385e075a4f696a41439f0bc67ce190d8898c30169c00bb8ea0007e2ce77843525aa66812146ce6c393f790875
Homepage: https://storm-lang.org/
Description: Source code for the tutorials in the Storm manual
Description-md5: 4b046faeced6cec9d15f01cc8b695ccf
Original-Maintainer: Filip Strömbäck <filip@fprg.se>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug