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