deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: storm-lang (>= 0.6.25-1)
Description: |-
Source code for the tutorials in the Storm manual
Source code that accompanies the tutorials in the Storm manual.
Homepage: https://storm-lang.org/
Installed-Size: '208'
Maintainer: "Filip Str\xF6mb\xE4ck <filip@fprg.se>"
Package: storm-lang-tutorials
Priority: optional
Section: devel
Source: storm-lang
Version: 0.6.25-1
srcpkg_name: storm-lang
srcpkg_version: 0.6.25-1
Relation | Direction | Type | Name | |
---|---|---|---|---|
built-using | Source package | storm-lang_0.6.25-1 |
|