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