architecture: all component: main package: progvis priority: optional section: education srcpkg_name: storm-lang srcpkg_version: 0.6.2-1 version: 0.6.2-1