keiro-dsl-0.15.0.0: test/fixtures/workspace-nominals/service.keiro-workspace

service workspace-nominal-proof
spec domain/shared.keiro
spec domain/project.keiro
spec domain/project-artifact.keiro