built_artifacts_of_stormpy_dependencies

This release is for use in tests that run in Continuous Integration (GitHub Actions) in other repositories. This release may be replaced in the future by newer versions of the built artifacts.