architecture: all component: main package: storm-lang-tutorials priority: optional section: devel srcpkg_name: storm-lang srcpkg_version: 0.6.23-1 version: 0.6.23-1